Sciweavers

1073 search results - page 113 / 215
» Reasoning about Continuous Processes
Sort
View
110
Voted
FOAL
2008
ACM
15 years 4 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
CC
2004
Springer
15 years 8 months ago
Region-Based Partial Dead Code Elimination on Predicated Code
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
Qiong Cai, Lin Gao 0002, Jingling Xue
115
Voted
AINA
2010
IEEE
15 years 7 months ago
Active Data Selection for Sensor Networks with Faults and Changepoints
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...
Michael A. Osborne, Roman Garnett, Stephen J. Robe...
114
Voted
ECIS
2004
15 years 4 months ago
Activity Based generation of requirements for web-based information systems: the SSM/ICDT approach
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
Mary Meldrum, Jeremy Rose
KIC
2000
15 years 3 months ago
On Engineering Design Generation with XML-based Knowledge-Enhanced Grammars
One of the major bottlenecks in conceptual engineering design is the pure amount of design information which the design engineer needs to take into consideration. Furthermore, the ...
S. Rudolph, Hansrudi Noser