Sciweavers

572 search results - page 62 / 115
» Multimedia Case Studies: Development and Use in Management E...
Sort
View
FORMATS
2007
Springer
15 years 10 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
CSMR
2007
IEEE
16 years 14 days ago
Monitoring Requirements Evolution using Views
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...
Marco Lormans
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
A General Framework for Sound and Complete Floyd-Hoare Logics
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paul...
CORR
2008
Springer
132views Education» more  CORR 2008»
15 years 6 months ago
Trading GRH for algebra: algorithms for factoring polynomials and related structures
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
Gábor Ivanyos, Marek Karpinski, Lajos R&oac...
CASCON
2010
166views Education» more  CASCON 2010»
15 years 4 months ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen