Sciweavers

826 search results - page 55 / 166
» What Triggers a Behavior
Sort
View
98
Voted
DAGSTUHL
2006
15 years 2 months ago
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang...
123
Voted
INTERNET
2006
144views more  INTERNET 2006»
15 years 23 days ago
Analyzing Conversations of Web Services
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 ...
Tevfik Bultan, Jianwen Su, Xiang Fu
123
Voted
DSOM
2000
Springer
15 years 5 months ago
The Doctor Is In: Helping End Users Understand the Health of Distributed Systems
Abstract. Users need know nothing of the internals of distributed applications that are performing well. However, when performance flags or fails, a depiction of system behavior f...
Paul Dourish, Daniel C. Swinehart, Marvin Theimer
ISORC
1998
IEEE
15 years 5 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
CSFW
2009
IEEE
15 years 7 months ago
Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...
Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sr...