1831 search results - page 175 / 367 » Time Constraints in Workflow Systems |
123
click to vote
ECWEB
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a new technology for supporting flexible query management in recommender systems. It is aimed at guiding a user in refining her query when it fails to return ...
131
Voted
PTS
1998
15 years 5 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
142
click to vote
DELTA
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
154
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
201
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...