1525 search results - page 211 / 305 » Formal Models for Communication-Based Design |
108
Voted
CRYPTO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
99
Voted
CNSR
2006
IEEE
15 years 6 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
93
Voted
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
140
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
114
click to vote
EMSOFT
2011
Springer
14 years 15 days ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...