Sciweavers

627 search results - page 63 / 126
» Branched Polyhedral Systems
Sort
View
FLAIRS
2003
13 years 10 months ago
ADEMA : A System to Help Physicians in the Asthma Health Care
Asthma is a distressing disease, affecting up to 7% of the French population and causing considerable morbidity and mortality. A medical decision support system such can help phys...
Icham Sefion, Abdel Ennaji, Marc Gailhardou
POPL
2007
ACM
14 years 9 months ago
On the analysis of interacting pushdown systems
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
Vineet Kahlon, Aarti Gupta
ACSAC
2008
IEEE
14 years 3 months ago
The Evolution of System-Call Monitoring
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaj...
RTSS
2005
IEEE
14 years 2 months ago
Optimal Task Rate Selection in Fixed Priority Systems
The design phase of any real-time system requires balancing the limited computational resources against the functional requirements and the performance of the application. The opt...
Enrico Bini, Marco Di Natale
ESWA
2006
123views more  ESWA 2006»
13 years 8 months ago
Design of a RFID case-based resource management system for warehouse operations
In the past, the selection of resources to execute various warehouse operation services was done solely by experts. In this paper, a RFIDbased Resource Management System (RFID-RMS...
Harry K. H. Chow, King Lun Choy, W. B. Lee, K. C. ...