1734 search results - page 215 / 347 » What works |
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
112
Voted
PODC
1999
ACM
15 years 5 months ago
1999
ACM
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
Electronic theses and dissertations (ETDs) are a unique genre that is emerging in part as a result of the work to build the Networked Digital Library of Theses and Dissertations (...
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
The ELECTROPIA is a CALS/EC engine developed by the Korea CALS/EC Association composed of the government, several universities, and many small and big companies in Korea, in order...
105
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...