554 search results - page 8 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
IJCAI
1989
14 years 10 months ago
1989
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
120
click to vote
HLPPP
1991
15 years 29 days ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
101
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...