Sciweavers

3318 search results - page 503 / 664
» The Weak Instance Model
Sort
View
104
Voted
EDBT
2009
ACM
144views Database» more  EDBT 2009»
15 years 4 months ago
Efficient maintenance techniques for views over active documents
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 4 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
87
Voted
APNOMS
2006
Springer
15 years 4 months ago
Distributed Fault Management in WBEM-Based Inter-AS TE for QoS Guaranteed DiffServ-over-MPLS
Distributed fault management and event notification are essential in Inter-AS Traffic Engineering (TE). In this paper we design and implement distributed fault management for WBEM...
Abdurakhmon Abdurakhmanov, Shahnaza Tursunova, Sha...
DASFAA
2004
IEEE
169views Database» more  DASFAA 2004»
15 years 4 months ago
Statistic Driven Acceleration of Object-Relational Space-Partitioning Index Structures
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
DATE
2004
IEEE
143views Hardware» more  DATE 2004»
15 years 4 months ago
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...