5630 search results - page 29 / 1126 » Computability in Specification |
ISORC
2002
IEEE
2002
IEEE
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
14 years 2 months ago
This paper proposes a framework for integrating the Real-Time Specification for Java and Java's Remote Method Invocation. The concepts of real-time remote and distributed rea...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
DSVIS
1998
Springer
14 years 2 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
BIRTHDAY
2009
Springer
14 years 1 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
ISORC
2002
IEEE
14 years 2 months ago
2002
IEEE
The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the T...