6308 search results - page 161 / 1262 » Modeling Urgency in Timed Systems |
113
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
151
click to vote
DALT
2009
Springer
15 years 7 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
164
click to vote
AAAI
2011
14 years 4 months ago
2011
Collaborative tagging systems are now deployed extensively to help users share and organize resources. Tag prediction and recommendation systems generally model user behavior as r...
140
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
151
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—The paper proposes a framework for modeling and analysis of the dynamics of supply, demand, and clearing prices in power system with real-time retail pricing and information asy...