2836 search results - page 297 / 568 » Model Checking for Software Architectures |
156
click to vote
WETICE
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
152
click to vote
WOA
2001
15 years 6 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
108
Voted
JSS
2006
15 years 4 months ago
2006
This article introduces the entity-life modeling (ELM) design approach for multithread software. The article focuses on problems that can be described by state machines with assoc...
119
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
179
click to vote
EMISA
2006
Springer
15 years 8 months ago
2006
Springer
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...