7892 search results - page 280 / 1579 » Programming with Models |
90
Voted
ENTCS
2002
15 years 1 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
113
click to vote
TSMC
1998
15 years 1 months ago
1998
—Vehicle dispatching consists of allocating real-time service requests to a fleet of moving vehicles. In this paper, each vehicle is associated with a vector of attribute values...
LOPSTR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
127
Voted
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
108
Voted
ADVIS
2004
Springer
15 years 7 months ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...