1121 search results - page 167 / 225 » Building Formal Requirements Models for Reliable Software |
172
click to vote
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
155
click to vote
FORTE
1997
15 years 5 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
154
click to vote
ASWEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
128
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
120
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...