49 search results - page 2 / 10 » Towards a composite modelling approach for multitasking |
175
click to vote
MODELS
2009
Springer
16 years 14 days ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
229
click to vote
ESWS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
148
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
225
click to vote
CSAC
2006
15 years 7 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
152
click to vote
CAV
2009
Springer
16 years 22 days ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...