Sciweavers

1122 search results - page 110 / 225
» Behavioral Extensions of Institutions
Sort
View
FIDJI
2003
Springer
15 years 3 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese
HYBRID
2003
Springer
15 years 3 months ago
Hybrid Modelling and Control of Power Electronics
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...
Matthew Senesky, Gabriel Eirea, Tak-John Koo
ICSM
2002
IEEE
15 years 2 months ago
Consistency Management in the Presence of Simultaneous Client-Specific Views
This paper is about client-specific customization of systems that implement an on-line Internet service in the presence of simultaneous client-specific views. The problem is that ...
Eddy Truyen, Wouter Joosen, Pierre Verbaeten
ISCC
2002
IEEE
15 years 2 months ago
Analyzing quality of service of GPRS network systems from a user's perspective
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...
Stefano Porcarelli, Felicita Di Giandomenico, Andr...
ISORC
2002
IEEE
15 years 2 months ago
Program Instrumentation for Debugging and Monitoring with AspectC++
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...