1157 search results - page 90 / 232 » Descriptive Complexity and Model Checking |
ICWS
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
CSDA
2008
14 years 10 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
MKWI
2008
14 years 11 months ago
2008
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
GI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...