Sciweavers

1036 search results - page 39 / 208
» Utilizing Validation Experience for System Validation
Sort
View
HRI
2012
ACM
12 years 3 months ago
A prototyping environment for interaction between a human and a robotic multi-agent system
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...
Michael Lichtenstern, Martin Frassl, Bernhard Peru...
WSC
2001
13 years 9 months ago
The design of a web-based training system for simulation analysis
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 ...
Yu-Hui Tao, Shin-Ming Guo
PADL
2009
Springer
14 years 8 months ago
Declarative Network Verification
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...
Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg So...
DSN
2011
IEEE
12 years 7 months ago
Communix: A framework for collaborative deadlock immunity
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
Horatiu Jula, Pinar Tözün, George Candea
CBMS
2006
IEEE
14 years 2 months ago
Telederm: Enhancing Dermatological Diagnosis for Rural and Remote Communities
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...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...