6308 search results - page 988 / 1262 » Modeling Urgency in Timed Systems |
175
Voted
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
164
click to vote
AIED
2005
Springer
16 years 7 days ago
2005
Springer
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
159
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
152
click to vote
CONTEXT
2005
Springer
16 years 6 days ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
206
click to vote
ALGOSENSORS
2004
Springer
16 years 2 days ago
2004
Springer
We focus on data gathering problems in energy-constrained wireless sensor networks. We study store-and-gather problems where data are locally stored on the sensors before the data ...