3516 search results - page 270 / 704 » Integrating Security Modeling into Embedded System Design |
126
Voted
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
128
click to vote
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes issues in the design of IT-centric trouble-ticketing applications. Two prototypes are presented. The first introduces a user-centric, webaccessible thick clie...
125
click to vote
ETFA
2005
IEEE
15 years 9 months ago
2005
IEEE
Global competition has given rise to Logistic and Production Systems (LPSs), that are distributed manufacturing systems integrating international logistics and information technol...
142
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
144
Voted
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...