Sciweavers

1724 search results - page 168 / 345
» Industrial applications
Sort
View
EUC
2005
Springer
16 years 5 hour ago
ANTS: An Evolvable Network of Tiny Sensors
As a promising technology that enables ubiquitous computing and leads IT industries of next generation, sensor networks (SN) are foreseen to expand and populate the globe in such a...
Daeyoung Kim, Tomás López, Seongeun ...
EWSA
2005
Springer
16 years 4 hour ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
OTM
2005
Springer
15 years 12 months ago
Colored Petri Nets to Verify Extended Event-Driven Process Chains
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova
PADL
2005
Springer
15 years 12 months ago
Functional Framework for Sound Synthesis
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
Jerzy Karczmarczuk
GECCO
2004
Springer
197views Optimization» more  GECCO 2004»
15 years 12 months ago
Applying Evolutionary Testing to Search for Critical Defects
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
André Baresel, Harmen Sthamer, Joachim Wege...