Sciweavers

3926 search results - page 33 / 786
» Deriving Information Requirements from Responsibility Models
Sort
View
234
Voted
GIS
2005
ACM
16 years 4 months ago
Monitoring dynamic spatial fields using responsive geosensor networks
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...
Matt Duckham, Silvia Nittel, Michael F. Worboys
142
Voted
ASM
2010
ASM
15 years 7 months ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
205
Voted
HOLOMAS
2007
Springer
15 years 9 months ago
Agent Methods for Network Intrusion Detection and Response
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...
Martin Rehák, Michal Pechoucek, David Medvi...
CORR
2007
Springer
107views Education» more  CORR 2007»
15 years 3 months ago
Risk Minimization and Optimal Derivative Design in a Principal Agent Game
We consider the problem of Adverse Selection and optimal derivative design within a Principal-Agent framework. The principal’s income is exposed to non-hedgeable risk factors ar...
U. Horst, S. Moreno
109
Voted
CAISE
2005
Springer
15 years 9 months ago
A Concern-Oriented Requirements Engineering Model
Traditional requirements engineering approaches suffer from the tyranny of the dominant decomposition, with functional requirements serving as the base decomposition and non-functi...
Ana M. D. Moreira, João Araújo, Awai...