Sciweavers

902 search results - page 118 / 181
» Modeling and Reasoning about Uncertainty in Context-Aware Sy...
Sort
View
95
Voted
PUC
2006
72views more  PUC 2006»
15 years 15 days ago
Towards self-protecting ubiquitous systems: monitoring trust-based interactions
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
Colin English, Sotirios Terzis, Paddy Nixon
109
Voted
EUMAS
2006
15 years 2 months ago
Goal-Oriented Agent Patterns with the PRACTIONIST Framework
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...
Vito Morreale, Giuseppe Francaviglia, Fabio Centin...
RE
2010
Springer
14 years 7 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
102
Voted
GI
2009
Springer
14 years 10 months ago
A BPMN Case Study: Paper Review and Submission System
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
Markus Kirchberg, Ove Sörensen, Bernhard Thal...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 7 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...