Sciweavers

2132 search results - page 91 / 427
» Automated software winnowing
Sort
View
CDVE
2006
Springer
160views Visualization» more  CDVE 2006»
15 years 2 months ago
Automated Social Network Analysis for Collaborative Work
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
Larry Korba, Ronggong Song, George Yee, Andrew S. ...
149
Voted
ATAL
2008
Springer
15 years 1 months ago
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
DEXA
2006
Springer
171views Database» more  DEXA 2006»
15 years 1 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...
IJDE
2007
105views more  IJDE 2007»
14 years 11 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
CMPB
2000
69views more  CMPB 2000»
14 years 11 months ago
Microcomputer program for automated action potential waveform analysis
A program for action potential waveform analysis based on a PC compatible computer is described. Single or averaged action potentials are analyzed by obtaining its first derivativ...
Enrique Soto, Emilio Salceda, Ricardo Cruz, Aida O...