Sciweavers

516 search results - page 68 / 104
» A Critical Analysis of Empirical Research in Software Testin...
Sort
View
IESA
2007
13 years 9 months ago
Application Development with Virtual Teams: Models and Metrics
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
D. Radoiu
ECIS
2000
13 years 9 months ago
Virtual Reality and the Tourism Product: Substitution or Complement?
this paper describes a small empirical study aimed at attempting to give an answer to the question: "will virtual reality provide a substitute for the tourism product"? I...
Silvia Sussmann, Hugo J. Vanhegan
ACMSE
2006
ACM
14 years 1 months ago
Static analysis of anomalies and security vulnerabilities in executable files
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
Jay-Evan J. Tevis, John A. Hamilton Jr.
FLAIRS
2004
13 years 9 months ago
The Mobile Agents Integrated Field Test
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
William J. Clancey, Maarten Sierhuis, Rich Alena, ...
STTT
2002
69views more  STTT 2002»
13 years 7 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser