10707 search results - page 208 / 2142 » Designing executable abstractions |
167
Voted
GCA
2009
15 years 1 months ago
2009
In this article a new algorithm for grid resource allocation based upon the theory of Algorithmic Mechanism Design (AMD) is presented. This algorithm is targeted at minimizing cost...
136
Voted
PODC
1999
ACM
15 years 8 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
119
Voted
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
116
Voted
ZEUS
2010
15 years 5 months ago
2010
The control-flow of business workflows is characterized by the strict execution order of the activities that is already defined at design time. This well-structured control-flow is...
140
Voted
ENGL
2007
15 years 3 months ago
2007
—This paper describes the design and implementation of an inference engine for the execution of Fuzzy Inference Systems (FIS), the architecture of the system is presented, and th...