Sciweavers

2817 search results - page 379 / 564
» An Architecture for Emergent Semantics
Sort
View
WAIM
2005
Springer
16 years 15 hour ago
An Approach to RDF(S) Query, Manipulation and Inference on Databases
In order to lay a solid foundation for the emerging semantic web, effective and efficient management of large RDF(S) data is in high demand. In this paper we propose an approach t...
Jing Lu, Yong Yu, Kewei Tu, Chenxi Lin, Lei Zhang
CC
2004
Springer
15 years 12 months ago
Developing a Foundation for Code Optimization
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
Mary Lou Soffa
IFIP
2004
Springer
15 years 12 months ago
Static program transformations for efficient software model checking
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
Shobha Vasudevan, Jacob A. Abraham
WWIC
2004
Springer
197views Communications» more  WWIC 2004»
15 years 12 months ago
Context-Aware Group Communication in Mobile Ad-Hoc Networks
Abstract. The widespread availability of both fixed and wireless network connectivity and the growing market of portable devices are enabling anytime and anywhere impromptu collabo...
Dario Bottazzi, Antonio Corradi, Rebecca Montanari
CGO
2003
IEEE
15 years 12 months ago
Code Optimization for Code Compression
With the emergence of software delivery platforms such as Microsoft’s .NET, reduced size of transmitted binaries has become a very important system parameter strongly affecting ...
Milenko Drinic, Darko Kirovski, Hoi Vo