2765 search results - page 401 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
161
click to vote
SIES
2007
IEEE
16 years 24 days ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
177
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
160
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Passage retrieval and pseudo relevance feedback/query expansion have been reported as two effective means for improving document retrieval in literature. Relevance models, while im...
169
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
170
click to vote
ECMDAFA
2005
Springer
16 years 2 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...