1895 search results - page 187 / 379 » Using ATL for Checking Models |
141
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
195
click to vote
ASM
2010
ASM
16 years 24 days ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
193
click to vote
ICAS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
174
click to vote
SPIN
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
172
click to vote
WCNC
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...