15614 search results - page 337 / 3123 » The State of State |
192
Voted
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
ETS
2006
IEEE
15 years 6 months ago
2006
IEEE
154
click to vote
IJOE
2008
15 years 6 months ago
2008
In this paper, we provide a literature review of modern remote laboratories. According to this state-of-theart, we explain why remote laboratories are at a technological crossroad,...
157
click to vote
CCR
2007
15 years 6 months ago
2007
In this paper, we discuss the current situation with respect to simulation usage in P2P research, testing the available P2P simulators against a proposed set of requirements, and ...
106
Voted
IANDC
2006
15 years 6 months ago
2006
Cousot and Cousot introduced and studied a general past/future-time specification language, called