3307 search results - page 421 / 662 » The meaning of concurrent programs |
190
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
219
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
188
click to vote
SC
2005
ACM
16 years 24 days ago
2005
ACM
The availability of inexpensive “off the shelf” machines increases the likelihood that parallel programs run on heterogeneous clusters of machines. These programs are increasi...
183
click to vote
ISOLA
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
198
click to vote
WORDS
2003
IEEE
16 years 15 days ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...