1454 search results - page 222 / 291 » Stateful traits and their formalization |
187
click to vote
AICT
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
173
click to vote
BROADNETS
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
174
click to vote
MEMOCODE
2006
IEEE
16 years 11 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
171
click to vote
PRDC
2006
IEEE
16 years 10 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
163
click to vote
WIKIS
2006
ACM
16 years 9 days ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...