Sciweavers

8086 search results - page 1405 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
JCP
2006
100views more  JCP 2006»
15 years 4 months ago
A Local Enumeration Protocol in Spite of Corrupted Data
We present a novel self-stabilizing version of Mazurkiewicz enumeration algorithm [1]. The initial version is based on local rules to enumerate nodes on an anonymous network. [2] p...
Brahim Hamid, Mohamed Mosbah
JUCS
2008
145views more  JUCS 2008»
15 years 4 months ago
Development of Ambient Intelligence Systems Based on Collaborative Task Models
: So far, the Ambient Intelligence (AmI) paradigm has been applied to the development of a great variety of real systems. They use advanced technologies such as ubiquitous computin...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
152
Voted
JUCS
2008
166views more  JUCS 2008»
15 years 4 months ago
ASM Refinement Preserving Invariants
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
Gerhard Schellhorn
DPD
2007
165views more  DPD 2007»
15 years 4 months ago
Context-based caching and routing for P2P web service discovery
In modern heterogeneous environments, such as mobile, pervasive and ad-hoc networks, architectures based on web services offer an attractive solution for effective communication a...
Christos Doulkeridis, Vassilis Zafeiris, Kjetil N&...
JSA
2006
113views more  JSA 2006»
15 years 4 months ago
A power-efficient TCAM architecture for network forwarding tables
Stringent memory access and search speed requirements are two of the main bottlenecks in wire speed processing. Most viable search engines are implemented in content addressable m...
Taskin Koçak, Faysal Basci
« Prev « First page 1405 / 1618 Last » Next »