Sciweavers

828 search results - page 126 / 166
» On Order Dependencies for the Semantic Web
Sort
View
123
Voted
ECOOP
2008
Springer
15 years 29 days ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
ICECCS
2008
IEEE
122views Hardware» more  ICECCS 2008»
15 years 6 months ago
Efficient Embedded Runtime Systems through Port Communication Optimization
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
Peter H. Feiler
MDM
2004
Springer
138views Communications» more  MDM 2004»
15 years 5 months ago
Optimizing Data Placement over Wireless Broadcast Channel for Multi-Dimensional Range Query Processing
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...
Jianting Zhang, Le Gruenwald
WEBI
2004
Springer
15 years 5 months ago
Finding Related Pages Using the Link Structure of the WWW
Most of the current algorithms for finding related pages are exclusively based on text corpora of the WWW or incorporate only authority or hub values of pages. In this paper, we ...
Paul-Alexandru Chirita, Daniel Olmedilla, Wolfgang...
VC
2008
66views more  VC 2008»
14 years 11 months ago
Services surround you
Our daily life is pervaded by digital information and devices, not least the common mobile phone. However, a seamless connection between our physical world, such as a movie trailer...
Niels Henze, René Reiners, Xavier Righetti,...