Sciweavers

4595 search results - page 589 / 919
» Reasoning about Plans
Sort
View
87
Voted
ER
2008
Springer
91views Database» more  ER 2008»
15 years 2 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
APCCM
2010
15 years 2 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
122
Voted
APCCM
2010
15 years 2 months ago
Business modeling for service descriptions: a meta model and a UML profile
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
Gregor Scheithauer, Guido Wirtz
118
Voted
BIOCOMP
2008
15 years 2 months ago
Semantic Discovery of Protein Web Services
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...
Xiong Liu, Hassan A. Karimi
DAIS
2010
15 years 2 months ago
Distributed Fault Tolerant Controllers
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
Leonardo Mostarda, Rudi Ball, Naranker Dulay