932 search results - page 82 / 187 » Verifying Progress in Timed Systems |
152
Voted
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
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...
131
Voted
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. The CORBA standard now incorporates support for reliability through two distinct mechanisms — replication (using the Fault Tolerant CORBA standard) and transactions (us...
137
Voted
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
– 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 ...
136
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— 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...
106
Voted
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
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 × ...