373 search results - page 20 / 75 » Model Checking Techniques applied to the design of Web Servi... |
114
click to vote
CSWWS
2006
15 years 1 months ago
2006
Abstract. Heterogeneity is an inherent characteristic of open and distributed environments like the Internet that can hamper Web resources and Web services from successful interope...
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
101
click to vote
INTERNET
2006
14 years 9 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
FORTE
2010
14 years 11 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
IJWET
2008
14 years 8 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...