Sciweavers

7209 search results - page 1081 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
TSE
2011
144views more  TSE 2011»
14 years 8 months ago
Genetic Algorithms for Randomized Unit Testing
—Randomized testing is an effective method for testing software units. Thoroughness of randomized unit testing varies widely according to the settings of certain parameters, such...
James H. Andrews, Tim Menzies, Felix Chun Hang Li
SADFE
2008
IEEE
15 years 7 months ago
Computer Forensics in Forensis
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
Sean Peisert, Matt Bishop, Keith Marzullo
ESEC
1997
Springer
15 years 5 months ago
Developing Multimedia Applications with the WinWin Spiral Model
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....
Barry W. Boehm, Alexander Egyed, Julie Kwan, Raymo...
CIKM
2011
Springer
14 years 1 months ago
On the elasticity of NoSQL databases over cloud management platforms
NoSQL databases focus on analytical processing of large scale datasets, offering increased scalability over commodity hardware. One of their strongest features is elasticity, whi...
Ioannis Konstantinou, Evangelos Angelou, Christina...
WWW
2005
ACM
16 years 1 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
« Prev « First page 1081 / 1442 Last » Next »