1087 search results - page 177 / 218 » Achieving Distributed Control through Model Checking |
MOVEP
2000
14 years 1 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
Three collision-avoidance protocols are analyzed that use omni-directional packet reception together with omnidirectional transmissions, directional transmissions, or a combinatio...
AINA
2010
IEEE
14 years 2 months ago
2010
IEEE
One important challenge in wireless ad hoc networks is to achieve collision free communication. Many MAC layer protocols have been proposed by considering various communication mod...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
ACL
1998
13 years 11 months ago
1998
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...