2050 search results - page 47 / 410 » A formal foundation for process modeling |
196
click to vote
COORDINATION
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
164
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
183
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
156
click to vote
AVI
2008
15 years 8 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
183
click to vote
IJCSA
2006
15 years 6 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...