2043 search results - page 223 / 409 » Reasoning About Security Models |
158
Voted
EDOC
2006
IEEE
15 years 12 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
147
click to vote
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
152
click to vote
ATAL
2009
Springer
16 years 11 days ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
190
Voted
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
152
click to vote
ASE
2008
15 years 5 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...