2963 search results - page 17 / 593 » An architecture for generic extensions |
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
JUCS
2008
13 years 7 months ago
2008
: Mass digitization of document collections with further processing and semantic annotation is an increasing activity among libraries and archives at large for preservation, browsi...
CODES
1997
IEEE
13 years 11 months ago
1997
IEEE
:Thispaper introduces a templatearchitecturefor codesignmethodologies.This architecture is basedon a data synchronizedcontrol schemethat is well adaptedto the implementation of num...
COMCOM
2006
13 years 7 months ago
2006
As the Internet evolves into an all-IP communication infrastructure, a key issue to consider is that of creating and managing IP-based services with efficient resource utilization...
SAG
2004
Springer
14 years 22 days ago
2004
Springer
This paper describes the design and implementation of a model of how to integrate sensors and devices into a GRID infrastructure. We describe its proxy-based approach, the port-ty...