15840 search results - page 797 / 3168 » The Control of Synchronous Systems |
215
click to vote
AINA
2004
IEEE
15 years 11 months ago
2004
IEEE
The conceptual architecture of the access control system described here is based on automatic distributed acquisition and processing of knowledge about users and devices in comput...
202
click to vote
ESORICS
2008
Springer
15 years 9 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
182
click to vote
CAINE
2006
15 years 9 months ago
2006
There is a tendency to overlook or play down software issues in industrial systems design. However the very best hardware will only be as effective as the programs that control it...
155
click to vote
IWC
2008
15 years 7 months ago
2008
We built an automated dialogue system whose style of interaction can be varied along the three dimensions of Humour, Relationship Maintenance and Personality Matching. We then ran...
195
click to vote
ITSSA
2006
15 years 7 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...