Sciweavers

3898 search results - page 70 / 780
» Maintaining Component-Based Systems
Sort
View
125
Voted
DBPL
1997
Springer
87views Database» more  DBPL 1997»
15 years 7 months ago
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions
We examine the power of incremental evaluation systems that use an SQL-like language for maintaining recursively-de ned views. We show that recursive queries such as transitive clo...
Leonid Libkin, Limsoon Wong
ICSR
2011
Springer
14 years 6 months ago
Software Reuse and Safety
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
William B. Frakes, John M. Favaro
BIRTHDAY
2006
Springer
15 years 7 months ago
Ensuring Properties of Interaction Systems
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Gregor Gößler, Susanne Graf, Mila E. Ma...
RAS
2008
109views more  RAS 2008»
15 years 2 months ago
When hard realtime matters: Software for complex mechatronic systems
A still growing number of software concepts and framworks have been proposed to meet the challenges in the development of more and more complex robotic systems, like humanoids or n...
Berthold Bäuml, Gerd Hirzinger
131
Voted
CEC
2007
IEEE
15 years 9 months ago
Enabling generative behavior within an interactive evolutionary design system using a component-based representation
- The paper describes further research relating to an Interactive Evolutionary Design system (IEDS) with emphasis upon extending it to support free-form design. A generative feedba...
Azahar T. Machwe, Ian C. Parmee