1728 search results - page 109 / 346 » Formal Modeling of Process Migration |
117
click to vote
COMPOS
1997
Springer
15 years 3 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
EKAW
2000
Springer
15 years 2 months ago
2000
Springer
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
105
click to vote
ICWS
2008
IEEE
15 years 17 days ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
65
Voted
SEMCO
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper is a theoretical analysis of formal annotation and ontology for the expression of the semantics of document. They are found wanting in this respect, not only for techni...
112
click to vote
JLP
2008
14 years 9 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...