1729 search results - page 12 / 346 » Practical Temporal Projection |
115
Voted
AGILEDC
2004
IEEE
15 years 6 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...
162
Voted
ISCIS
2004
Springer
15 years 8 months 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 ...
119
Voted
CONCUR
1993
Springer
15 years 6 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...
125
Voted
CADE
2005
Springer
16 years 3 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...
123
Voted
IV
2005
IEEE
15 years 8 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...