Sciweavers

4714 search results - page 421 / 943
» The Complexity of Iterated Multiplication
Sort
View
GSEM
2007
Springer
16 years 1 months ago
A Policy Language for Integrating Heterogeneous Authorization Policies
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
Wei Zhou, Christoph Meinel
ISVC
2007
Springer
16 years 29 days ago
A Control Architecture for Long-Term Autonomy of Robotic Assistants
A major challenge in deploying service robots into the real world is to design a framework that provides effective, long-term interactions with people. This includes interacting w...
Christopher King, Xavier Palathingal, Monica N. Ni...
LPAR
2007
Springer
16 years 29 days ago
Permutative Additives and Exponentials
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
Gabriele Pulcini
AHS
2006
IEEE
124views Hardware» more  AHS 2006»
16 years 27 days ago
A Generic On-Chip Debugger for Wireless Sensor Networks
— This invited paper overviews the low level debug support hardware required for an on-chip predeployment debugging system for sensor networks. The solution provides significant...
Andrew B. T. Hopkins, Klaus D. McDonald-Maier
ECBS
2006
IEEE
90views Hardware» more  ECBS 2006»
16 years 27 days ago
Evaluating Alternatives for Architecture-Oriented Refactoring
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
Sven Wohlfarth, Matthias Riebisch