1965 search results - page 263 / 393 » On the analysis of interacting pushdown systems |
CIMCA
2008
IEEE
14 years 3 months ago
2008
IEEE
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
CMSB
2007
Springer
14 years 3 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper addresses challenges associated with the dynamics of knowledge in clusters and regional networks. It develops a conceptual framework, a methodology and a research agend...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
GROUP
2005
ACM
14 years 2 months ago
2005
ACM
While users disseminate various information in the open and widely distributed environment of the Semantic Web, determination of who shares access to particular information is at ...