Sciweavers

4476 search results - page 755 / 896
» A flexible framework for engineering
Sort
View
EXACT
2008
15 years 8 months ago
Deriving Explanations From Partial Temporal Information
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
Jixin Ma, Brian Knight, Miltos Petridis
WSC
2008
15 years 8 months ago
How to build better models: Applying agile techniques to simulation
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
James T. Sawyer, David M. Brann
ATAL
2008
Springer
15 years 8 months ago
Ontology-based test generation for multiagent systems
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
FORTEST
2008
15 years 8 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
CIDR
2007
92views Algorithms» more  CIDR 2007»
15 years 7 months ago
Predicate-based Indexing of Enterprise Web Applications
Searching the Web has become a commodity. However, extending applications with search capabilities is still an open research topic [2]. Large enterprise applications such as SAP a...
Cristian Duda, David A. Graf, Donald Kossmann