|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 346 occurrences of 251 keywords
|
|
|
Results
Found 555 publication records. Showing 555 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Cathy Glynn, Sandy Tavilla |
Alerts and Warnings in Provider Order Entry at Massachusetts General Hospital, Boston, MA, USA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2001 - Proceedings of the 10th World Congress on Medical Informatics, September 2-5, 2001, London, UK, pp. 576, 2001, IOS Press, 978-1-58603-194-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Michal Brandejs, Iva Hollanová, Mirka Misáková, Jan Pazdziora |
In-house Developed UIS for Traditional University: Recommendations and Warnings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUNIS ![In: The Changing Universities - The Role of Technology, The 7th International Conference of European University Information Systems, March 28-30, 2001, Berlin, Germany, Proceedings, pp. 367-374, 2001, GI, 3-88579-339-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
18 | Cathy Glynn, Sandy Tavilla |
Alerts and Warnings in Provider Order Entry at Massachusetts Hospital, Boston, MA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2001, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 3-7, 2001, 2001, AMIA. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
18 | H. Skoie |
Bibliometrics - Some warnings from the north. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 45(3), pp. 433-437, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Charles H. Morris, Ying K. Leung |
An Empirical Study of Auditory Warnings in Aircraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT ![In: Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, Edinburgh, UK, 30th August-3rd September 1999, pp. 287-294, 1999, IOS Press. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Armann Ingolfsson |
Earthquake forecastes-the life-saving poetential of last-minute warnings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
18 | Mary Czerwinski, Steven E. Chrisman, Bob Schumacher |
Interactive Posters: the effects of Warnings and display Similarity on interruption in Multitasking Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCHI Bull. ![In: ACM SIGCHI Bull. 23(4), pp. 38-39, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Kevin Donaghy |
Recognizing Advice, Warnings, Promises And Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 13th International Conference on Computational Linguistics, COLING 1990, University of Helsinki, Finland, August 20-25, 1990, pp. 336-338, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
12 | Huang-Chen Lee, Chun-Yu Lin, Chuan-Yu Cho, Chen-Lung Chan, Yao-Min Fang, Bing-Jean Lee, Chung-Ta King |
The design considerations of a sensor grid for monitoring precipitation in debris-flow-prone areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 362-363, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
debris flow, precipitation, rain gauge, wireless sensor network, monitoring |
12 | Adonis P. H. Fung, K. W. Cheung 0003 |
SSLock: sustaining the trust on entities brought by SSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010, pp. 204-213, 2010, ACM, 978-1-60558-936-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SSL trust management, domain naming convention, man-in-the-middle attacks |
12 | Boris W. van Schooten, Betsy M. A. G. van Dijk, Anton Nijholt, Johan H. C. Reiber |
Evaluating automatic warning cues for visual search in vascular images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 393-396, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
automatic warning system, magnetic resonance angiography, image segmentation, visual search |
12 | Hamed Ketabdar, Matti Lyra |
ActivityMonitor: assisted life using mobile phones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 417-418, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
assisted life, health related factors, live activity monitoring, mobile phones, acceleration sensor, desktop application |
12 | Anja Klein 0001, Zbigniew Jerzak |
GINSENG for sustainable energy awareness: flexible energy monitoring using wireless sensor nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010, pp. 109-110, 2010, ACM, 978-1-60558-927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
middleware, energy awareness, event processing, real-time monitoring |
12 | Andreas Hartl, Klara A. Weiand, François Bry |
visKQWL, a visual renderer for a semantic web query language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1253-1256, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
semantic web, wiki, semantic wikis, visual query languages, keyword querying |
12 | Henriette S. M. Cramer, Vanessa Evers, Tim van Slooten, Mattijs Ghijsen, Bob J. Wielinga |
Trying too hard: effects of mobile agents' (Inappropriate) social expressiveness on trust, affect and compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1471-1474, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
social expressiveness, trust, autonomy, mobile interaction |
12 | Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa |
Education panel: designing the always connected car of the future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 617-618, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
driver safety and comfort, vehicle-to-infrastructure, vehicle-to-vehicle, design, synthesis, connectivity, automotive |
12 | T. J. O'Connor, Benjamin Sangster |
honeyM: a framework for implementing virtual honeyclients for mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISEC ![In: Proceedings of the Third ACM Conference on Wireless Network Security, WISEC 2010, Hoboken, New Jersey, USA, March 22-24, 2010, pp. 129-138, 2010, ACM, 978-1-60558-923-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mobile device security, gps, bluetooth, wifi, information assurance, wireless security |
12 | Ibon Ruiz, Begoña García Zapirain, Amaia Méndez |
Technological Solution for Independent Living of Intellectual Disabled People. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 859-862, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Independent life, GPS, GSM, GPRS, Down syndrome |
12 | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks |
Static type inference for Ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1859-1866, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
contracts, type inference, Ruby, dynamic typing |
12 | Vivian Prinz, Robert Eigner, Wolfgang Woerndl |
Cars communicating over publish/subscribe in a peer-to-peer vehicular network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 431-436, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
structured peer-to-peer algorithms, publish/subscribe, VANETs, vehicle-to-vehicle communication |
12 | Dejan Baca, Kai Petersen, Bengt Carlsson, Lars Lundberg |
Static Code Analysis to Detect Software Security Vulnerabilities - Does Experience Matter? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 804-810, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 394-409, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Eve E. Hoggan, Roope Raisamo, Stephen A. Brewster |
Mapping information to audio and tactile icons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 11th International Conference on Multimodal Interfaces, ICMI 2009, Cambridge, Massachusetts, USA, November 2-4, 2009, pp. 327-334, 2009, ACM, 978-1-60558-772-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile touchscreen interaction, tactile feedback, earcons, tactons, auditory feedback, information mapping |
12 | Tian-Shya Ma |
Real-time anomaly detection for traveling individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2009, Pittsburgh, Pennsylvania, USA, October 25-28, 2009, pp. 273-274, 2009, ACM, 978-1-60558-558-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
emergency notification, ubiquitous computing, assistive technology, location awareness, deviation detection |
12 | Ali Saglam, Alptekin Temizel |
Real-Time Adaptive Camera Tamper Detection for Video Surveillance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2009, 2-4 September 2009, Genova, Italy, pp. 430-435, 2009, IEEE Computer Society, 978-0-7695-3718-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Nathalie Dessart, Hacène Fouchal, Philippe Hunel, Harry Gros-Desormeaux, Nicolas Vidot |
Distributed decision for medical alerts using wireless sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 10th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2009, Kos Island, Greece, 15-19 June, 2009, pp. 1-6, 2009, IEEE Computer Society, 978-1-4244-4439-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | James Newsome, Stephen McCamant, Dawn Song |
Measuring channel capacity to distinguish undue influence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009, pp. 73-85, 2009, ACM, 978-1-60558-645-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model counting, quantitative information flow, channel capacity |
12 | Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik |
A randomized dynamic program analysis technique for detecting real deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 110-120, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
active testing, concurrency, deadlock detection, dynamic program analysis |
12 | Meisam Fathi Salmi, Saeed Parsa |
Automatic Detection of Infinite Recursion in AspectJ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT ![In: Future Generation Information Technology, First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings, pp. 190-197, 2009, Springer, 978-3-642-10508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Infinite Recursion, Interprocedural Anlysis, Debugging Aspect-Oriented Programs, Aspect-Oriented Programming |
12 | Arjmand Samuel, Arif Ghafoor, Elisa Bertino |
Context-Aware Adaptation of Access-Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 12(1), pp. 51-54, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ludmila Cherkasova, Kivanc M. Ozonat, Ningfang Mi, Julie Symons, Evgenia Smirni |
Anomaly? application change? or workload change? towards automated detection of application performance anomaly and change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, pp. 452-461, 2008, IEEE Computer Society, 978-1-4244-2397-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley |
Securing web applications with static and dynamic information flow tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 3-12, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting |
12 | Lionel Fontan, Patrick Saint-Dizier |
Analyzing Argumentative Structures in Procedural Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GoTAL ![In: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings, pp. 366-370, 2008, Springer, 978-3-540-85286-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Liangzhao Zeng, Christoph Lingenfelder, Hui Lei 0001, Henry Chang |
Event-Driven Quality of Service Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 147-161, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Davide Pozza, Riccardo Sisto |
A Lightweight Security Analyzer inside GCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 851-858, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Defensive Programming, Static Analysis, Software Security, Bug Finding |
12 | Minglu Li 0001 |
Metropolitan VANET: Services on the Road. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: 10th IEEE International Conference on High Performance Computing and Communications, HPCC 2008, 25-27 Sept. 2008, Dalian, China, pp. 17, 2008, IEEE Computer Society, 978-0-7695-3352-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Sonia M. Arteaga, Jessica Chevalier, Andrew Coile, Andrew William Hill, Serdar Sali, Sangheeta Sudhakhrisnan, Sri Hastuti Kurniawan |
Low-cost accelerometry-based posture monitoring system for stroke survivors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2008, Halifax, Nova Scotia, Canada, October 13-15, 2008, pp. 243-244, 2008, ACM, 978-1-59593-976-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
physiotherapy, accelerometer, rehabilitation, stroke |
12 | Michael Gegick, Laurie A. Williams |
Ranking Attack-Prone Components with a Predictive Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 315-316, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Junqiang Zhou, Simeon C. Ntafos, Balakrishnan Prabhakaran 0001 |
Fault Detection Framework for Video Surveillance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Fifth IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2008, Santa Fe, New Mexico, USA, 1-3 September 2008, pp. 219-226, 2008, IEEE Computer Society, 978-0-7695-3341-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Chang-Seo Park, Koushik Sen |
Randomized active atomicity violation detection in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 135-145, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
atomicity violation detection, concurrency, dynamic analysis, random testing |
12 | Hanjiang Luo, Yiyang Zhao, Zhongwen Guo, Siyuan Liu, Pengpeng Chen, Lionel M. Ni |
UDB: Using Directional Beacons for Localization in Underwater Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 14th International Conference on Parallel and Distributed Systems, ICPADS 2008, Melbourne, Victoria, Australia, December 8-10, 2008, pp. 551-558, 2008, IEEE Computer Society, 978-0-7695-3434-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Brett Stone-Gross, David Sigal, Rob Cohn, John Morse, Kevin C. Almeroth, Christopher Kruegel |
VeriKey: A Dynamic Certificate Verification System for Public Key Exchanges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMVA ![In: Detection of Intrusions and Malware, and Vulnerability Assessment, 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings, pp. 44-63, 2008, Springer, 978-3-540-70541-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ali Jannesari, Walter F. Tichy |
On-the-fly race detection in multi-threaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 6, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before |
12 | Zhenyu Qi, Mircea R. Stan |
NBTI resilient circuits using adaptive body biasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 285-290, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reliability, body bias, nbti |
12 | Kevin Bierhoff, Jonathan Aldrich |
PLURAL: checking protocol compliance under aliasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 971-972, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
annotations, aliasing, permissions, typestate |
12 | David Mark Russell, Shaogang Gong |
Multi-layered Decomposition of Recurrent Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (3) ![In: Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III, pp. 574-587, 2008, Springer, 978-3-540-88689-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Danny Hughes 0001, Nelly Bencomo, Gordon S. Blair, Geoff Coulson, Paul Grace, Barry Porter |
Exploiting extreme heterogeneity in a flood warning scenario using the Gridkit middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware (Companion) ![In: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Companion Proceedings, pp. 54-57, 2008, ACM, 978-1-60558-369-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wireless sensor networks, middleware, implementation, reconfiguration |
12 | Jörg Rech, Axel Spriestersbach |
A Survey about the Intent to Use Visual Defect Annotations for Software Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 406-418, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Visual Annotations, Quality Defects, Software Diagnostics, MDSD, Software Models, Intelligent Assistance |
12 | Jeong-Oog Lee, Dae Hee Won, Sangkyung Sung, Taesam Kang, Young Jae Lee |
High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 437-438, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Wei Le, Mary Lou Soffa |
Refining buffer overflow detection via demand-driven path-sensitive analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007, pp. 63-68, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
path-sensitive, demand-driven, infeasible paths |
12 | José A. Borges, Néstor J. Rodríguez, Carlos Pérez, Gilberto Crespo |
Usability Issues in the Development of a User Interface for an Alerts and Reminders System for a Nursing Documentation Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV, pp. 418-426, 2007, Springer, 978-3-540-73109-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
electronic medical record systems, alerts and reminders systems, graphical user interfaces, usability testing, usability engineering |
12 | Sergio Saponara, Esa Petri, Marco Tonarelli, Iacopo Del Corona, Luca Fanucci |
FPGA-based networking systems for high data-rate and reliable in-vehicle communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 480-485, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Benedikt Ostermaier, Florian Dotzer, Markus Strassberger |
Enhancing the Security of Local DangerWarnings in VANETs - A Simulative Analysis of Voting Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 422-431, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Dennis Dams |
StackSnuffer: Curing Orion's Unsoundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 1, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Emir Toktar, Guy Pujolle, Edgard Jamhour, Manoel Camillo Penna, Mauro Fonseca |
An XML Model for SLA Definition with Key Indicators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPOM ![In: IP Operations and Management, 7th IEEE International Workshop, IPOM 2007, San José, USA, October 31 - November 2, 2007, Proceedings, pp. 196-199, 2007, Springer, 978-3-540-75852-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
KQI, XML, SLA, KPI |
12 | Atul Prakash 0001 |
Security in Practice - Security-Usability Chasm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, Third International Conference, ICISS 2007, Delhi, India, December 16-20, 2007, Proceedings, pp. 1-9, 2007, Springer, 978-3-540-77085-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Eugenia G. Giannopoulou, Vasileios P. Kemerlis, Michalis Polemis, Joseph Papaparaskevas, Alkiviadis C. Vatopoulos, Michalis Vazirgiannis |
A Large Scale Data Mining Approach to Antibiotic Resistance Surveillance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, Slovenia, pp. 439-444, 2007, IEEE Computer Society, 0-7695-2905-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Monica Tentori, Jesús Favela |
Activity-Aware Computing in Mobile Collaborative Working Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings, pp. 337-353, 2007, Springer, 978-3-540-74811-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Activity-aware computing, Collaboration, Hospital Work |
12 | Karl Chen, David A. Wagner 0001 |
Large-scale analysis of format string vulnerabilities in Debian Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007, pp. 75-84, 2007, ACM, 978-1-59593-711-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
format string vulnerability, large-scale analysis, type-qualifier inference |
12 | Subramanian Appavu, Ramasamy Rajaram |
Association Rule Mining for Suspicious Email Detection: A Data Mining Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: IEEE International Conference on Intelligence and Security Informatics, ISI 2007, New Brunswick, New Jersey, USA, May 23-24, 2007, Proceedings, pp. 316-323, 2007, IEEE, 1-4244-1329-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Arndt Mühlenfeld, Franz Wotawa |
Fault detection in multi-threaded c++ server applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 142-143, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, data races, race conditions, multi-threaded programming |
12 | Markus Bach, Florian Forster, Friedrich Steimann |
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 117-120, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | T. Inagaki |
Design of human-machine interactions in light of domain-dependence of human-centered automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 8(3), pp. 161-167, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Authority and responsibility, Human-centered automation, Levels of automation, Transportation, Human interface |
12 | Liwen Vaughan, Justin You |
Comparing business competition positions based on Web co-link data: The global market vs. the Chinese market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 68(3), pp. 611-628, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Diomidis Spinellis |
Bug Busters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(2), pp. 92-93, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Lint, annotations, tools, errors, type checking, bugs |
12 | Martín Abadi, Cormac Flanagan, Stephen N. Freund |
Types for safe locking: Static race detection for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(2), pp. 207-255, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type system, Concurrent programs, type inference, race conditions |
12 | Gary William Flake |
How I learned to stop worrying and love the imminent internet singularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, Arlington, Virginia, USA, November 6-11, 2006, pp. 2, 2006, ACM, 1-59593-433-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
technological singularity, internet, scientific computing |
12 | Jared Davis |
Memories: array-like records for ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006, pp. 57-60, 2006, ACM, 0-9788493-0-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MBE, fixnum optimization, linear address spaces, arrays, records, ACL2 |
12 | Koushik Sen, Gul Agha |
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 419-423, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Volker Krüger, Shaohua Kevin Zhou, Rama Chellappa |
Integrating Video Information over Time. Example: Face Recognition from Video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Vision Systems ![In: Cognitive Vision Systems, Sampling the Spectrum of Approaches [based on a Dagstuhl seminar], pp. 127-144, 2006, Springer, 978-3-540-33971-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kenji Ito, Nobuo Itoh, Katsushi Sanda, Yoshio Karasawa |
A Novel MIMO-STBC Scheme for Inter-Vehicle Communications at Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 2937-2941, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | James Sasitorn, Robert Cartwright |
Efficient first-class generics on stock Java virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1621-1628, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java implementation, custom class loader, first-class generics, type erasure, parametric polymorphism |
12 | Shabbir Ahmed 0002, Salil S. Kanhere |
VANETCODE: network coding to enhance cooperative downloading in vehicular ad-hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2006, Vancouver, British Columbia, Canada, July 3-6, 2006, pp. 527-532, 2006, ACM, 1-59593-306-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
vehicular adhoc networks, network coding, VANET |
12 | Cinzia Cappiello, Paolo Ficiaro, Barbara Pernici |
HIQM: A Methodology for Information Quality Monitoring, Measurement, and Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 339-351, 2006, Springer, 3-540-47703-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 193-208, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Min Wu 0005, Robert C. Miller, Simson L. Garfinkel |
Do security toolbars actually prevent phishing attacks? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 601-610, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
e-commerce, user study, user interface design, world wide web and hypermedia |
12 | Masako Miyaji, Toru Yamaguchi, Eri Sato, Koji Kanagawa |
Human Support Network System Using Friendly Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part III, pp. 725-732, 2006, Springer, 3-540-46542-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kenneth G. Paterson, Arnold K. L. Yau |
Cryptography in Theory and Practice: The Case of Encryption in IPsec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2006, 25th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings, pp. 12-29, 2006, Springer, 3-540-34546-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
integrity, encryption, IPsec, ESP |
12 | Julie S. Downs, Mandy B. Holbrook, Lorrie Faith Cranor |
Decision strategies and susceptibility to phishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOUPS ![In: Proceedings of the 2nd Symposium on Usable Privacy and Security, SOUPS 2006, Pittsburgh, Pennsylvania, USA, July 12-14, 2006, pp. 79-90, 2006, ACM, 1-59593-448-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
phishing, mental models, qualitative methods |
12 | Greer B. Kingston, Holger R. Maier, Martin F. Lambert |
Forecasting Cyanobacteria with Bayesian and Deterministic Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 4870-4877, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang 0001 |
Modular checking for buffer overflows in the large. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 232-241, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
annotation design, annotation inference, modular analysis, buffer overflows |
12 | Ondrej Spinka, Jan Krakora, Michal Sojka, Zdenek Hanzálek |
Los-Cost Avionics System for Ultra-Light Aircrafts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 102-109, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoguang Hong |
A Database Monitoring and Disaster Recovery System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Frontiers of WWW Research and Development - APWeb 2006, 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings, pp. 1201-1204, 2006, Springer, 3-540-31142-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Jaime Spacco, Jaymie Strecker, David Hovemeyer, William W. Pugh |
Software repository mining with Marmoset: an automated programming project snapshot and testing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Greg Goth |
US Supercomputing Receives Multifaceted Boost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 6(1), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
high power computing, OpenIB Project, supercomputer, hpc, dsonline, funding |
12 | Jeff H. Perkins |
Automatically generating refactorings to support API evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, pp. 111-114, 2005, ACM, 1-59593-239-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Masaaki Tanizaki, Kishiko Maruyama, Shigeru Shimada |
Acceleration Technique of Snake-Shaped Regions Retrieval Method for Telematics Navigation Service System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 21st International Conference on Data Engineering, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 949-957, 2005, IEEE Computer Society, 0-7695-2285-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Michimasa Itoh, Yoshiyuki Mizuno, Satoshi Mori, Shin Yamamoto |
Drivers Status Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 21st International Conference on Data Engineering Workshops, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 1201, 2005, IEEE Computer Society, 0-7695-2657-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Xia Brustoloni, José Carlos Brustoloni |
Hardening Web browsers against man-in-the-middle and eavesdropping attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005, pp. 489-498, 2005, ACM, 1-59593-046-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
eavesdropping attack, just-in-time instruction, safe staging, well-in-advance instruction, certificate, HTTPS, password, Web browser, SSL, man-in-the-middle attack |
12 | Brian Hackett, Radu Rugina |
Region-based shape analysis with tracked locations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 310-323, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
static error detection, memory management, shape analysis, memory leaks |
12 | Yichen Xie 0001, Alexander Aiken |
Scalable error detection using boolean satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 351-363, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program analysis, error detection, boolean satisfiability |
12 | Lei Wang, James R. Cordy, Thomas R. Dean |
Enhancing Security Using Legality Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 12th Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh, PA, USA, November 7-11, 2005, pp. 35-44, 2005, IEEE Computer Society, 0-7695-2474-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Carol Jarom, Beth Miller |
Students: heal thyself. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 130-131, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
student targeted documentation, web based training |
12 | Engin Kirda, Christopher Krügel |
Protecting Users Against Phishing Attacks with AntiPhish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 517-524, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Phishing Attacks, User Protection, Security |
12 | Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller |
Efficiently Refactoring Java Applications to Use Generic Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, pp. 71-96, 2005, Springer, 3-540-27992-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | M. Spirito, Carlo S. Regazzoni, Lucio Marcenaro |
Automatic detection of dangerous events for underground surveillance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Advanced Video and Signal Based Surveillance, 2005 IEEE International Conference on Video and Signal Based Surveillance (AVSS'05), 15-16 September 2005, Como, Italy., pp. 195-200, 2005, IEEE Computer Society, 0-7803-9385-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Karl Schwerdt, Didier Maman, Pierre Bernas, Eric Paul |
Target segmentation and event detection at video-rate: the EAGLE project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Advanced Video and Signal Based Surveillance, 2005 IEEE International Conference on Video and Signal Based Surveillance (AVSS'05), 15-16 September 2005, Como, Italy., pp. 183-188, 2005, IEEE Computer Society, 0-7803-9385-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yichen Xie 0001, Alexander Aiken |
Context- and path-sensitive memory leak detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 115-125, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program analysis, memory management, error detection, boolean satisfiability, memory leaks |
12 | RongJie Gu, Puliu Yan, Tao Zou, Chengcheng Guo |
An Automatic and Generic Early-Bird System for Internet Backbone Based on Traffic Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (1) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part I, pp. 740-748, 2005, Springer, 3-540-25339-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Ka Yan Wong, Chi Lap Yip |
Tropical Cyclone Eye Fix Using Genetic Algorithm with Temporal Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I, pp. 854-860, 2005, Springer, 3-540-28894-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 555 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|