Sciweavers

932 search results - page 82 / 187
» Verifying Progress in Timed Systems
Sort
View
152
Voted
AADEBUG
2005
Springer
15 years 9 months ago
Debugging object-oriented programs with behavior views
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
Donglin Liang, Kai Xu 0002
131
Voted
COOPIS
2002
IEEE
15 years 9 months ago
Reconciling Replication and Transactions for the End-to-End Reliability of CORBA Applications
Abstract. The CORBA standard now incorporates support for reliability through two distinct mechanisms — replication (using the Fault Tolerant CORBA standard) and transactions (us...
Pascal Felber, Priya Narasimhan
137
Voted
ICDE
2010
IEEE
217views Database» more  ICDE 2010»
15 years 10 months ago
Toward industrial-strength keyword search systems over relational data
– Keyword search (KWS) over relational data, where the answers are multiple tuples connected via joins, has received significant attention in the past decade. Numerous solutions ...
Akanksha Baid, Ian Rae, AnHai Doan, Jeffrey F. Nau...
136
Voted
ICRA
2007
IEEE
139views Robotics» more  ICRA 2007»
15 years 10 months ago
Multi-Robot Formations based on the Queue-Formation Scheme with Limited Communications
— In this paper, we investigate the operation of the Queue-formation structure (or Q-structure) in multi-robot teams with limited communications. Information flow is divided int...
Cheng-Heng Fua, Shuzhi Sam Ge, Khac Duc Do, Khiang...
106
Voted
ISCAS
2006
IEEE
77views Hardware» more  ISCAS 2006»
15 years 10 months ago
Design and implementation of multi-directional grid multi-torus chaotic attractors
Abstract— This paper introduces a novel four-order system, which can generate one-directional (1-D) n−torus, twodirectional (2-D) n × m −torus, three-directional (3-D) n × ...
Simin Yu, Jinhu Lu