1729 search results - page 12 / 346 » Practical Temporal Projection |
AGILEDC
2004
IEEE
13 years 11 months ago
2004
IEEE
The Customer is the only non-developer role in eXtreme Programming (XP). The Customer's explicit responsibilities are to drive the project, providing project requirements (us...
ISCIS
2004
Springer
14 years 26 days ago
2004
Springer
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
CONCUR
1993
Springer
13 years 11 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
Dealing with temporal uncertainties is a key issue in domains like project management or medical treatment planning. However, support for temporal indeterminacies is not very well...