Sciweavers

2552 search results - page 164 / 511
» Development of an evaluation model for Question Answering Sy...
Sort
View
PAAMS
2010
Springer
14 years 22 days ago
A Cooperative Communications Platform for Safety Critical Robotics: An Experimental Evaluation
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...
Frederico M. Cunha, Rodrigo A. M. Braga, Luí...
SACMAT
2009
ACM
14 years 2 months ago
Symbolic reachability analysis for parameterized administrative role based access control
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C....
QEST
2007
IEEE
14 years 2 months ago
Symbolic Bisimulations for Probabilistic Systems
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
Peng Wu 0002, Catuscia Palamidessi, Huimin Lin
ECTEL
2006
Springer
13 years 11 months ago
Towards Community-Driven Development of Educational Materials: The Edukalibre Approach
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...
Jesús M. González-Barahona, Vania Di...
IJWET
2007
99views more  IJWET 2007»
13 years 7 months ago
An empirical approach to evaluating web application compliance across diverse client platform configurations
: Web applications are the most widely used class of software today. Increased diversity of web-client platform configurations causes execution of web applications to vary unpredic...
Cyntrica Eaton, Atif M. Memon