2036 search results - page 217 / 408 » A generic type-and-effect system |
190
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
To investigate molecular-biological causes and effects of diseases and their therapies it becomes increasingly important to combine data from clinical trials with high volumes of e...
184
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present the results of an ongoing research involving the design and implementation of systems supporting personalized access to multi-version resources in an eGov...
201
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
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...
173
click to vote
LISA
2007
15 years 9 months ago
2007
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...
200
click to vote
FGCN
2008
IEEE
15 years 9 months ago
2008
IEEE
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...