7209 search results - page 1130 / 1442 » Software Engineering for Multi-Agent Systems |
140
click to vote
FASE
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
120
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
106
click to vote
CGO
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
Network hardware design is becoming increasingly challenging because more and more demands are put on network bandwidth and throughput requirements, and on the speed with which ne...
112
click to vote
ICRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...