2106 search results - page 198 / 422 » Specifying C concepts |
144
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
175
click to vote
CODASPY
2012
14 years 4 days ago
2012
Usage control is concerned with how data is used after access to it has been granted. As such, it is particularly relevant to end users who own the data. System implementations of...
253
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
138
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
185
click to vote
RTAS
1998
IEEE
15 years 8 months ago
1998
IEEE
Proliferation of communication-intensive real-time applications with elastic" timeliness constraints, such as streaming stored video, requires a new design for endhost commun...