2836 search results - page 192 / 568 » Model Checking for Software Architectures |
135
click to vote
ISTA
2004
15 years 5 months ago
2004
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
123
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
149
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
153
click to vote
BPM
2000
Springer
15 years 8 months ago
2000
Springer
In this article a general business process architecture is presented, which is based on the Architecture of Integrated Information Systems (ARIS) and which is composed of the four ...
143
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...