1398 search results - page 90 / 280 » Ensuring Properties of Interaction Systems |
124
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
132
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
132
click to vote
ESAW
2008
Springer
15 years 6 months ago
2008
Springer
We consider a resource access control scenario in an open multi-agent system. We specify a mutable set of rules to determine how resource allocation is decided, and minimally assum...
149
click to vote
SASO
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
145
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...