630 search results - page 55 / 126 » Stateful Aspects in JAsCo |
CORR
2011
Springer
13 years 18 days ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
As commodity microprocessors and networks reach performance levels comparable to those used in massively parallel processors, clusters of symmetric multiprocessors are starting to...
PG
1997
IEEE
14 years 1 months ago
1997
IEEE
The last few years have seen great maturationin the computation speed and control methods needed to portray 3D virtualhumanssuitableforreal interactiveapplications. We first desc...