Sciweavers

1228 search results - page 182 / 246
» Techniques for Reactive System Design: The Tools in TRADE
Sort
View
AAI
2007
95views more  AAI 2007»
13 years 11 months ago
An AI Electrical Ground Support Equipment for Controlling and Testing a Space Instrument
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...
María Dolores Rodríguez-Moreno, Manu...
DKE
2007
115views more  DKE 2007»
13 years 10 months ago
Business process management: Where business processes and web services meet
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
Wil M. P. van der Aalst, Boualem Benatallah, Fabio...
SIGSOFT
2007
ACM
14 years 11 months ago
Reconciling software configuration management and product data management
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
Germán Vega, Jacky Estublier
CASES
2006
ACM
14 years 4 months ago
A dynamic binary instrumentation engine for the ARM architecture
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
Kim M. Hazelwood, Artur Klauser
CODES
2003
IEEE
14 years 4 months ago
Synthesis of real-time embedded software with local and global deadlines
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
Pao-Ann Hsiung, Cheng-Yi Lin