Sciweavers

3281 search results - page 163 / 657
» An Approach to use Executable Models for Testing
Sort
View
ICST
2009
IEEE
15 years 1 months ago
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
Jens Nodler, Helmut Neukirchen, Jens Grabowski
VLSID
2005
IEEE
107views VLSI» more  VLSID 2005»
15 years 9 months ago
Design, Testing, and Applications of Digital Microfluidics-Based Biochips
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...
Krishnendu Chakrabarty
214
Voted
ICDT
2009
ACM
143views Database» more  ICDT 2009»
16 years 4 months ago
Automatic construction of simple artifact-based business processes
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
Christian Fritz, Richard Hull, Jianwen Su
118
Voted
WSC
2000
15 years 4 months ago
Anticipatory Planning Support System
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
John R. Surdu, John M. D. Hill, Udo W. Pooch
CCGRID
2008
IEEE
15 years 5 months ago
Performance Optimization for Multi-agent Based Simulation in Grid Environments
Multi-agent based simulation (MABS) is a discrete event simulation technique used to study complex systems with entities having social and autonomous behavior. MABS applications a...
Dawit Mengistu, Peter Tröger