Sciweavers

2903 search results - page 22 / 581
» On the univalence of an integral operator
Sort
View
NORDSEC
2009
Springer
15 years 6 months ago
ContikiSec: A Secure Network Layer for Wireless Sensor Networks under the Contiki Operating System
In this paper we introduce ContikiSec, a secure network layer for wireless sensor networks, designed for the Contiki Operating System. ContikiSec has a configurable design, providi...
Lander Casado, Philippas Tsigas
DSD
2003
IEEE
108views Hardware» more  DSD 2003»
15 years 7 months ago
Concurrent Operation Scheduling and Unit Allocation with an Evolutionary Technique
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
Gregor Papa, Jurij Silc
AOSE
2008
Springer
15 years 3 months ago
OperA and Brahms: A Symphony?
The organizational view on work systems focuses on the desired outcomes of work, while the emergent view focuses on how the work actually gets done. Often a gap exists between thes...
Bart-Jan van Putten, Virginia Dignum, Maarten Sier...
AI
2000
Springer
15 years 6 months ago
On the Integration of Recursive ALN-Theories
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
Aida Vitória, Margarida Mamede
CAISE
2005
Springer
15 years 7 months ago
On the Semantics of Operation Contracts in Conceptual Modeling
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
Anna Queralt, Ernest Teniente