1525 search results - page 157 / 305 » Integrated Systems for Inducing Spatio-Temporal Process Mode... |
121
click to vote
JCS
2002
15 years 4 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
130
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
146
click to vote
SPLC
2004
15 years 6 months ago
2004
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
140
click to vote
IJDET
2010
15 years 2 months ago
2010
: This paper deals with the use of learning styles in technology-enhanced learning, by introducing a so-called "Unified Learning Style Model" (ULSM). The article aims at ...
243
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...