1036 search results - page 39 / 208 » Utilizing Validation Experience for System Validation |
148
click to vote
HRI
2012
ACM
13 years 11 months ago
2012
ACM
In this paper we describe our prototyping environment to study concepts for empowering a single user to control robotic multi-agent systems. We investigate and validate these conc...
127
click to vote
WSC
2001
15 years 5 months ago
2001
Simulation beginners often spend a great amount of time to accumulate the knowledge as well as the experience to overcome the technical complexity of computer simulation. Limited ...
248
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
182
click to vote
DSN
2011
IEEE
14 years 3 months ago
2011
IEEE
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
134
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes techniques used in a Web-based decision support system to enhance dermatological diagnosis for rural and remote communities. We proposed a technique to improv...