1655 search results - page 151 / 331 » State, Event, Time and Diagram in System Modeling |
187
click to vote
ENTCS
2007
15 years 6 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
151
click to vote
FORTE
2001
15 years 7 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
181
click to vote
KDD
2004
ACM
15 years 11 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...
237
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...
175
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...