4445 search results - page 236 / 889 » Reflective Authorization Systems |
170
click to vote
TGC
2007
Springer
15 years 12 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
148
click to vote
ETFA
2005
IEEE
15 years 11 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...
143
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
177
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...
151
Voted
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes how computer-human interaction in ambient computing environments can be best informed by conceptualizing of such environments as problem solving systems. Typi...