16606 search results - page 2915 / 3322 » Context Modeling: Task Model and Practice Model |
183
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
194
click to vote
HPCA
1997
IEEE
15 years 11 months ago
1997
IEEE
Many parallel systems offer a simple view of memory: all storage cells are addresseduniformly. Despite a uniform view of the memory, the machines differsignificantly in theirmemo...
233
Voted
ANZIIS
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...
220
click to vote
ZUM
1997
Springer
15 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
285
click to vote
STOC
1993
ACM
15 years 11 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...