Sciweavers

2903 search results - page 22 / 581
» On the univalence of an integral operator
Sort
View
NORDSEC
2009
Springer
15 years 10 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 11 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 8 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 10 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 11 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