Sciweavers

3346 search results - page 381 / 670
» A Generic Rendering System
Sort
View
ESORICS
2000
Springer
15 years 10 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
LISA
2007
15 years 9 months ago
Network Patterns in Cfengine and Scalable Data Aggregation
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
Mark Burgess, Matthew Disney, Rolf Stadler
184
Voted
FGCN
2008
IEEE
150views Communications» more  FGCN 2008»
15 years 8 months ago
A Prioritized Service Protocol for Vehicular Communication
Vehicular network became one of the most active and emerging fields of research during last decade. Its use in diversified applications (for example safe driving, congestion avoid...
Une Thoing Rosi, Chowdhury Sayeed Hyder, Tai-hoon ...
AAAI
2010
15 years 8 months ago
A General Framework for Representing and Reasoning with Annotated Semantic Web Data
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
Umberto Straccia, Nuno Lopes 0002, Gergely Lukacsy...
151
Voted
HCI
2007
15 years 8 months ago
Sensor-Driven Adaptation of Web Document Presentation
The increasing variety of user device technologies has raised the necessity for ubiquitous content provision, which is characterized by “intelligent” content delivery to end us...
Spyros Nathanail, Vassileios Tsetsos, Stathes Hadj...