Sciweavers

2124 search results - page 218 / 425
» Changing the paradigm of software engineering
Sort
View
COMPSAC
2002
IEEE
14 years 3 months ago
A Structured Approach to Handling On-Line Interface Upgrades
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
KBSE
1999
IEEE
14 years 2 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...
CODES
1997
IEEE
14 years 2 months ago
Optimizing communication in embedded system co-simulation
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
Ken Hines, Gaetano Borriello
ARCS
2007
Springer
14 years 2 months ago
Toward Self-adaptive Embedded Systems: Multi-objective Hardware Evolution
Abstract. Evolutionary hardware design reveals the potential to provide autonomous systems with self-adaptation properties. We first outline an architectural concept for an intrins...
Paul Kaufmann, Marco Platzner
EDBTW
2006
Springer
14 years 2 months ago
Conflict Resolution in Updates Through XML Views
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...
André Prisco Vargas, Vanessa P. Braganholo,...