Sciweavers

2142 search results - page 312 / 429
» An aspect-oriented approach for implementing evolutionary co...
Sort
View
BIRTHDAY
2003
Springer
15 years 11 months ago
Systematic Development of Complex Web-Based User Interfaces
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
Henrik Behrens, Thorsten Ritter, Hans-Werner Six
ICS
1993
Tsinghua U.
15 years 10 months ago
The NuMesh: A Modular, Scalable Communications Substrate
Many standardized hardware communication interfaces offer runtime flexibility and configurability at the cost of efficiency. An alternate approach is the use of a highly-effic...
Steve Ward, Karim Abdalla, Rajeev Dujari, Michael ...
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
MIDDLEWARE
2000
Springer
15 years 10 months ago
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
Future middleware platforms will need to be more configurable in order to meet the demands of a wide variety of application domains. Furthermore, we believe that such platforms wil...
Gordon S. Blair, Lynne Blair, Valérie Issar...
ATC
2008
Springer
15 years 8 months ago
Concepts for Autonomous Control Flow Checking for Embedded CPUs
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
Daniel Ziener, Jürgen Teich