Sciweavers

3856 search results - page 256 / 772
» Models for Automated Earthmoving
Sort
View
ER
2008
Springer
91views Database» more  ER 2008»
15 years 8 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 8 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
CLIMA
2007
15 years 8 months ago
Formal Modelling of Emotions in BDI Agents
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
David Pereira, Eugénio C. Oliveira, Nelma M...
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 8 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
MEDINFO
2007
113views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
Semantic Issues in Integrating Data from Different Models to Achieve Data Interoperability
Matching clinical data to codes in controlled terminologies is the first step towards achieving standardisation of data for safe and accurate data interoperability. The MoST autom...
Rahil Qamar, Alan Rector