Sciweavers

2204 search results - page 292 / 441
» Analyzing architectural styles
Sort
View
CAISE
2008
Springer
15 years 2 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
97
Voted
BPM
2006
Springer
126views Business» more  BPM 2006»
15 years 2 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
CSMR
2008
IEEE
15 years 2 months ago
Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
Dan C. Cosma, Radu Marinescu
114
Voted
IWEC
2010
15 years 2 months ago
Explorations in Player Motivations: Virtual Agents
Creating believable agents with personality is a popular research area in game studies but academic research in this area usually focuses on one facet of personality - for example...
Barbaros Bostan
IJCAI
2007
15 years 2 months ago
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning
To enhance effectiveness in real world applications, autonomous agents have to develop cognitive competencies and anticipatory capabilities. Here we point out their strong liaison...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...