1653 search results - page 244 / 331 » Timed analysis of security protocols |
BIOSURVEILLANCE
2008
Springer
13 years 11 months ago
2008
Springer
Salmonella is among the most common food borne illnesses which may result from consumption of contaminated products. In this paper we model the co-occurrence data between USDA-cont...
BMCBI
2011
13 years 4 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
ASPDAC
2001
ACM
14 years 17 days ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
NCA
2007
IEEE
14 years 3 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...