13101 search results - page 2388 / 2621 » The design and implementation of microdrivers |
192
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
166
click to vote
AMR
2006
Springer
15 years 10 months ago
2006
Springer
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
197
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
166
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
187
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
Traditionally, the routing problem is addressed at the network layer, an approach that has been extended to the wireless realm. In wireless multihop networks, however, strict laye...