2705 search results - page 423 / 541 » Formal Ontology for Subject |
145
click to vote
JTAER
2008
15 years 6 months ago
2008
There is considerable excitement about the notion of 'Web 2.0', particularly among Internet businesspeople. In contrast, there is an almost complete lack of formal liter...
166
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
165
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...
154
click to vote
TOCS
2008
15 years 6 months ago
2008
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...
152
click to vote
TSE
2008
15 years 6 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...