294 search results - page 29 / 59 » A Formal Model of Service-Oriented Design Structure |
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform ā synchronising bookmarks in diļ...
114
click to vote
SP
2010
IEEE
14 years 7 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
104
click to vote
EUROPAR
2003
Springer
15 years 3 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...
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
The key problem in applying veriļ¬cation techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
111
click to vote
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...