1728 search results - page 199 / 346 » Formal Modeling of Process Migration |
120
Voted
ICEBE
2007
IEEE
15 years 7 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
118
click to vote
SAC
2003
ACM
15 years 6 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
100
click to vote
WSC
2008
15 years 3 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
125
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...
127
Voted
EVOW
2001
Springer
15 years 5 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...