384 search results - page 56 / 77 » Temporal Development Methods for Agent-Based |
ICADL
2004
Springer
14 years 2 months ago
2004
Springer
In order to help researchers of humanities study the cultural ancient resources from temporal and geographical perspectives, we build WebGISRBDL at Peking University. In WebGIS-RBD...
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
ISPAN
1999
IEEE
14 years 29 days ago
1999
IEEE
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...
FGR
2004
IEEE
14 years 13 days ago
2004
IEEE
The major challenges that sign language recognition (SLR) now faces are developing methods that solve large vocabulary continuous sign problems. In this paper, large vocabulary co...
ECOOP
1995
Springer
14 years 7 days ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...