1407 search results - page 115 / 282 » Using Use Cases in Executable Z |
143
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
129
click to vote
RULEML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
131
click to vote
ANSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper studies parallel job scheduling in a distributed system. A simulation model is used to address performance issues associated with scheduling. Five policies are used to ...
158
click to vote
IJCAI
2001
15 years 5 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
139
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
We consider the problem of implementing shared objects in uniprocessor and multiprocessor real-time systems in which tasks are executed using a scheduling quantum. In most quantum...