1729 search results - page 2 / 346 » Practical Temporal Projection |
IJCAI
2007
13 years 6 months ago
2007
In the context of operative disruption management, decision support systems have to evaluate the typically manifold options of responding to disturbances: The temporal shift of ac...
ECTEL
2006
Springer
13 years 8 months ago
2006
Springer
The poster introduces the design principles and practices for the Knowledge-Practices Laboratory (KP-Lab) project. KP-Lab is based on technological, theoretical, pedagogical, and s...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
ECIS
2003
13 years 6 months ago
2003
During the last decade, teams working on information technology (IT) development and implementation projects have experienced significant transformations. Nowadays, many members o...
TIME
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...