Sciweavers

6834 search results - page 326 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
DAC
2001
ACM
16 years 7 months ago
A New Gate Delay Model for Simultaneous Switching and Its Applications
Liang-Chi Chen, Sandeep K. Gupta, Melvin A. Breuer
DAC
2003
ACM
16 years 7 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
ROBOCUP
1999
Springer
109views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
Layered Reactive Planning in the IALP Team
The main ideas behind the implementation of the IALP RoboCup team are discussed: an agent architecture made of a hierarchy of behaviors, which can be combined to obtain different ...
Antonio Cisternino, Maria Simi
ER
1998
Springer
130views Database» more  ER 1998»
15 years 11 months ago
Group Activity Database for Groupware Evolution
This paper proposes a new type of database for collaborative work. Known types of databases for collaborative work are databases of shared data and those of process data. A new typ...
Hiroyuki Tarumi, Tetsuya Matsuyama, Yahiko Kambaya...