Sciweavers

2181 search results - page 303 / 437
» The restriction scaffold problem
Sort
View
NCA
2007
IEEE
14 years 3 months ago
GORDA: An Open Architecture for Database Replication
Although database replication has been a standard feature in database management systems for a long time, third party solutions have been enjoying an increasing popularity. These ...
Alfrânio Correia Jr., José Pereira, L...
ACSD
2007
IEEE
67views Hardware» more  ACSD 2007»
14 years 3 months ago
Hazard Checking of Timed Asynchronous Circuits Revisited
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...
Frédéric Béal, Tomohiro Yoned...
APN
2007
Springer
14 years 3 months ago
Nets with Tokens Which Carry Data
Abstract. We study data nets, a generalisation of Petri nets in which tokens carry data from linearlyordered infinite domains and in which whole-place operations such as resets an...
Ranko Lazic, Thomas Christopher Newcomb, Joël...
ATAL
2007
Springer
14 years 3 months ago
Using priorities to simplify behavior coordination
Real-world behavior-based robot control problems require the coordination of a large number of competing behaviors. However, coordination becomes increasingly difficult as the num...
Brent E. Eskridge, Dean F. Hougen
BTW
2007
Springer
123views Database» more  BTW 2007»
14 years 3 months ago
Data Provenance: A Categorization of Existing Approaches
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...
Boris Glavic, Klaus R. Dittrich