10263 search results - page 1874 / 2053 » From Use Cases to System Operation Specifications |
156
click to vote
LCPC
2000
Springer
15 years 9 months ago
2000
Springer
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...
140
click to vote
ATAL
2007
Springer
16 years 3 days ago
2007
Springer
In this paper, we discuss the use of Targeted Trajectory Distribution Markov Decision Processes (TTD-MDPs)—a variant of MDPs in which the goal is to realize a specified distrib...
155
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
155
click to vote
CEEMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
253
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
A popular architecture for enterprise applications is one of a stateless object-based server accessing persistent data through Object-Relational mapping software. The reported ben...