5550 search results - page 597 / 1110 » Different Approaches to Proof Systems |
214
Voted
IEEECIT
2005
IEEE
16 years 26 days ago
2005
IEEE
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
172
click to vote
IWIA
2003
IEEE
16 years 16 days ago
2003
IEEE
— The ad-hoc methodology that is prevalent in today’s testing and evaluation of network intrusion detection algorithms and systems makes it difficult to compare different algor...
213
click to vote
ICRA
2002
IEEE
16 years 6 days ago
2002
IEEE
In a typical dextrous manipulation task, a goal configuration is reached through a sequence of continuous motions. Most often, a motion plan is computed offline and subsequently...
229
Voted
RE
2001
Springer
15 years 11 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
163
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a technique for task response time improvement based on the concept of code motion from the software domain. Relaxed Operation Motion (ROM) is a simple yet powerful app...