Sciweavers

89 search results - page 11 / 18
» A Transactional Model for Long-Running Activities
Sort
View
ICDE
2007
IEEE
155views Database» more  ICDE 2007»
14 years 1 months ago
Atomicity for P2P based XML Repositories
Over the years, the notion of transactions has become synonymous with providing fault-tolerance, reliability and robustness to database systems. However, challenges arise when we ...
Debmalya Biswas, Il-Gon Kim
FMICS
2006
Springer
13 years 11 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
ER
2008
Springer
109views Database» more  ER 2008»
13 years 9 months ago
Value-Driven Coordination Process Design Using Physical Delivery Models
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
Roel Wieringa, Vincent Pijpers, Lianne Bodenstaff,...
POLICY
2007
Springer
14 years 1 months ago
A Socio-cognitive Approach to Modeling Policies in Open Environments
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
Tatyana Ryutov
DALT
2005
Springer
14 years 26 days ago
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
Kaiyu Wan, Vasu S. Alagar