1724 search results - page 29 / 345 » Types as models: model checking message-passing programs |
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
We have built an eight node SMP cluster called COMPaS (Cluster Of Multi-Processor Systems), each node of which is a quadprocessor Pentium Pro PC. We have designed and implemented a...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
POPL
1997
ACM
13 years 12 months ago
1997
ACM
ECMDAFA
2010
Springer
14 years 15 days ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
PADL
2007
Springer
14 years 1 months ago
2007
Springer