3909 search results - page 553 / 782 » Extreme Model Checking |
169
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
169
click to vote
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
179
click to vote
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
185
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
179
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...