742 search results - page 104 / 149 » Set-based Concurrent Engineering |
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
120
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
108
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
EDBTW
2010
Springer
15 years 7 months ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...
131
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...