7099 search results - page 200 / 1420 » Context for models of concurrency |
193
click to vote
DATE
2005
IEEE
16 years 24 days ago
2005
IEEE
Context-aware applications pose new challenges, including a need for new computational models, uncertainty management, and efficient optimization under uncertainty. Uncertainty c...
208
click to vote
JAIR
2000
15 years 7 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
221
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
196
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
The evolving concepts of mobile computing, context-awareness, and ambient intelligence are increasingly influencing user's experience of services. Therefore, the goal of this...
180
click to vote
ECBS
2009
IEEE
16 years 2 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...