Sciweavers

2181 search results - page 303 / 437
» The restriction scaffold problem
Sort
View
NCA
2007
IEEE
15 years 10 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»
15 years 10 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
15 years 10 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...
104
Voted
ATAL
2007
Springer
15 years 10 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»
15 years 10 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