1163 search results - page 212 / 233 » Case Studies of Model Checking for Embedded System Designs |
142
Voted
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
115
Voted
FORTE
2000
15 years 3 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
116
click to vote
IJNSEC
2007
15 years 1 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
108
click to vote
DATAMINE
2006
15 years 1 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
115
click to vote
CBMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...