3555 search results - page 614 / 711 » Security-Critical System Development with Extended Use Cases |
125
click to vote
IJCAI
1989
15 years 2 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
115
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Research on humanoid robots for use in servicing tasks, e.g. fetching and delivery, attracts steadily more interest. With ”Rollin’ Justin” a mobile robotic system...
116
click to vote
ELECTRONICMARKETS
1998
15 years 1 months ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
119
click to vote
JCISE
2002
15 years 1 months ago
2002
An ideal product modeling system should support both part modeling and assembly modeling, instead of just either of them as is the case in most current CAD systems. A good basis f...
116
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...