Sciweavers

2446 search results - page 66 / 490
» Principles of dataspace systems
Sort
View
MOBISYS
2010
ACM
14 years 20 days ago
Improving energy efficiency of location sensing on smartphones
Location-based applications have become increasingly popular on smartphones over the past years. The active use of these applications can however cause device battery drain owing ...
Zhenyun Zhuang, Kyu-Han Kim, Jatinder Pal Singh
TPLP
2002
117views more  TPLP 2002»
13 years 10 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
SIES
2007
IEEE
14 years 4 months ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell
BIOWIRE
2007
Springer
14 years 4 months ago
A Rule System for Network-Centric Operation in Massively Distributed Systems
Sensor and Actor Networks (SANETs) represent a specific class of massively distributed systems in which classical communication protocols often fail due to scalability problems. N...
Falko Dressler, Reinhard German
IEEEARES
2009
IEEE
14 years 5 months ago
Identifying and Resolving Least Privilege Violations in Software Architectures
The implementation of security principles, like least privilege, in a software architecture is difficult, as no systematic rules on how to apply them in practice exist. As a resu...
Koen Buyens, Bart De Win, Wouter Joosen