Sciweavers

Share
11 search results - page 2 / 3
» On Automated Trigger Event Generation in Post-Silicon Valida...
Sort
View
AES
2008
Springer
182views Cryptology» more  AES 2008»
11 years 1 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
11 years 7 months ago
Stress testing real-time systems with genetic algorithms
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
Lionel C. Briand, Yvan Labiche, Marwa Shousha
GIS
2009
ACM
11 years 4 months ago
Opportunistic sampling in wireless sensor networks
In an active WSN where user queries are regularly processed, a signi´Čücant proportion of nodes relay and overhear data generated by other nodes in the network. In this paper, we ...
Muhammad Umer, Egemen Tanin, Lars Kulik
ESWS
2008
Springer
11 years 2 months ago
A Core Ontology for Business Process Analysis
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...
Carlos Pedrinaci, John Domingue, Ana Karla Alves d...
SIGSOFT
2009
ACM
12 years 2 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
David Lo, Leonardo Mariani, Mauro Pezzè
books