5639 search results - page 391 / 1128 » Timed Abstract Non-interference |
175
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...
167
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...
126
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
134
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
136
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...