2661 search results - page 363 / 533 » Model Checking Performability Properties |
ICWS
2009
IEEE
13 years 8 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
We explore the problem of modeling Internet connectivity at the Autonomous System (AS) level and present an economically-principled dynamic model that reproduces key features of t...
AI
2006
Springer
13 years 10 months ago
2006
Springer
In this paper we describe a machine learning approach for acquiring a model of a robot behaviour from raw sensor data. We are interested in automating the acquisition of behaviour...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
BMCBI
2008
13 years 10 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...