2700 search results - page 392 / 540 » The role of abstraction in software engineering |
192
click to vote
TASE
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
173
click to vote
ECBS
2007
IEEE
16 years 22 days ago
2007
IEEE
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
168
click to vote
ICSEA
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
183
click to vote
B
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
160
click to vote
FASE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...