6047 search results - page 1002 / 1210 » Modeling with Extend |
111
Voted
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make e...
116
Voted
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Constraints are important for a variety of XML recommendations and applications. Consequently, there are numerous opportunities for advancing the treatment of XML semantics. In pa...
193
click to vote
LADS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—We present a new approach to providing soft realtime guarantees for Belief-Desire-Intention (BDI) agents. We define what it means for BDI agents to operate in real time...
115
Voted
ADAEUROPE
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
139
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...