3108 search results - page 478 / 622 » The Elements of Computer Credibility |
163
click to vote
APPT
2007
Springer
16 years 18 days ago
2007
Springer
It is a great challenge to map network processing tasks to processing resources of advanced network processors, which are heterogeneous and multi-threading multiprocessor System-on...
157
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
194
click to vote
ECOWS
2007
Springer
16 years 17 days ago
2007
Springer
Dynamic composition of web services is a promising approach and at the same time a challenging research area for the dissemination of serviceoriented applications. It is widely rec...
181
click to vote
ESORICS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
166
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
The distributed object group framework (DOGF) enables easier integration of distributed objects to healthcare home applications. This paper describes a healthcare information manag...