Sciweavers

5170 search results - page 706 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
DSN
2000
IEEE
15 years 12 months ago
Testing for Software Vulnerability Using Environment Perturbation
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
Wenliang Du, Aditya P. Mathur
JOT
2010
144views more  JOT 2010»
15 years 6 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
HYBRID
2004
Springer
16 years 28 days ago
Synthesis for Idle Speed Control of an Automotive Engine
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
Andrea Balluchi, Federico Di Natale, Alberto L. Sa...
TREC
2000
15 years 9 months ago
Question Answering: CNLP at the TREC-9 Question Answering Track
This paper describes a question answering system that automatically finds answers to questions in a large collection of documents. The prototype CNLP question answering system was...
Anne Diekema, Xiaoyong Liu, Jiangping Chen, Hudong...
CLEIEJ
1998
57views more  CLEIEJ 1998»
15 years 7 months ago
User-Level Parallel File I/O
Parallel disk I/O subsystems are becoming more important in today’s large-scale parallel machines. Parallel disk systems provide a significant boost in I/O performance reducing ...
Ernst L. Leiss, Yili Wang