790 search results - page 105 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
113
click to vote
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
111
click to vote
JAVA
2001
Springer
15 years 4 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
102
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
100
click to vote
WOSP
2000
ACM
15 years 4 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...