Sciweavers

2810 search results - page 86 / 562
» Contract-Based Component System Design
Sort
View
FORTE
2009
14 years 9 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
CIDR
2011
249views Algorithms» more  CIDR 2011»
14 years 2 months ago
The Case for Predictive Database Systems: Opportunities and Challenges
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
Mert Akdere, Ugur Çetintemel, Matteo Rionda...
ASM
2000
ASM
15 years 3 months ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
ICRA
2008
IEEE
136views Robotics» more  ICRA 2008»
15 years 5 months ago
Toward a multi-disciplinary model for bio-robotic systems
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
Richard Primerano, David Wilkie, William Regli
SASO
2010
IEEE
14 years 9 months ago
A Decentralised Architecture for Multi-objective Autonomic Management
Designing and organising large numbers of autonomic resources into a coherent system is a difficult endeavour. It necessitates handling complex interactions among dynamic, heteroge...
Sylvain Frey, Philippe Lalanda, Ada Diaconescu