5639 search results - page 228 / 1128 » Timed Abstract Non-interference |
119
click to vote
PTS
1998
15 years 4 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
102
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
111
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
108
Voted
PUC
2010
15 years 1 months ago
2010
Abstract Digital technologies have enabled new temporalities of media consumption in the home. Through a field study of home television viewing practices, we investigated temporal...
101
click to vote
CIE
2009
Springer
15 years 9 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...