10908 search results - page 416 / 2182 » Requirements Engineering Tasks |
122
click to vote
ICAI
2004
15 years 5 months ago
2004
This paper describes a multi-robot system designed to use Bluetooth wireless communication to solve the "Honeybee" task. The Honeybee task is a simple search and navigat...
120
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
114
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose an FDB based intra-Domain Traceback System (FDB-DTS), which is a hybrid traceback system composed of packet digesting boxes and an iterative query engine...
129
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
152
click to vote
AAAI
1997
15 years 5 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...