Sciweavers

3909 search results - page 525 / 782
» Extreme Model Checking
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
CVPR
2009
IEEE
1234views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Robustifying Eye Center Localization by Head Pose Cues
Head pose and eye location estimation are two closely related issues which refer to similar application areas. In recent years, these problems have been studied individually in ...
Roberto Valenti, Theo Gevers, Zeynep Yücel
255
Voted
SIGMOD
2009
ACM
153views Database» more  SIGMOD 2009»
16 years 6 months ago
ELMR: lightweight mobile health records
Cell phones are increasingly being used as common clients for a wide suite of distributed, database-centric healthcare applications in developing regions. This is particularly tru...
Arvind Kumar, Amey Purandare, Jay Chen, Arthur Mea...
CCECE
2006
IEEE
16 years 10 days ago
QOS Driven Network-on-Chip Design for Real Time Systems
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
Ankur Agarwal, Mehmet Mustafa, Abhijit S. Pandya
USENIX
2007
15 years 8 months ago
Load Shedding in Network Monitoring Applications
Monitoring and mining real-time network data streams is crucial for managing and operating data networks. The information that network operators desire to extract from the network...
Pere Barlet-Ros, Gianluca Iannaccone, Josep Sanju&...