356 search results - page 16 / 72 » Towards modular i* models |
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
112
click to vote
RTCSA
2003
IEEE
15 years 5 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...
PCI
2001
Springer
15 years 4 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
112
click to vote
SNPD
2008
15 years 1 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...