1179 search results - page 125 / 236 » Should Superclasses be Abstract |
PERCOM
2003
ACM
14 years 7 months ago
2003
ACM
Pervasive computing environments add a multitude of additional devices to our current computing landscapes. Specialized embedded systems provide sensor information about the real ...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
BSN
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The use of local processing to reduce data transmission rates, and thereby power and bandwidth requirements, is common in wireless sensor networks. Achieving the minimum...
PPOPP
2009
ACM
14 years 2 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...