2291 search results - page 341 / 459 » Logic Programming and Model Checking |
ICAC
2005
IEEE
14 years 1 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
WSC
2004
13 years 9 months ago
2004
Developing a sequential simulation program is not an easy task. Developing a distributed simulation program is harder than a sequential one because it is necessary to deal with ma...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
TOOLS
1999
IEEE
14 years 2 days ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
APAL
2008
13 years 8 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...