4604 search results - page 608 / 921 » Concurrency in Synchronous Systems |
176
click to vote
SEKE
2005
Springer
16 years 7 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
180
click to vote
RISE
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
147
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
Typical mobile robots can be customized to perform a variety of different tasks by combining in different ways a set of basic control modules, or behaviors. By contrast, most cu...
205
click to vote
INFOCOM
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
201
click to vote
SBACPAD
2003
IEEE
16 years 1 days ago
2003
IEEE
Traffic monitoring and analysis based on general purpose systems with high speed interfaces, such as Gigabit Ethernet and 10 Gigabit Ethernet, requires carefully designed software...