6040 search results - page 798 / 1208 » Generating Instance Models from Meta Models |
181
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
179
click to vote
JCB
2000
15 years 6 months ago
2000
We study the problem of similarity detection by sequence alignment with gaps, using a recently established theoretical framework based on the morphology of alignment paths. Alignm...
185
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
190
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
197
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...