Sciweavers

2165 search results - page 380 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
ICFEM
2003
Springer
15 years 7 months ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
SCAM
2003
IEEE
15 years 7 months ago
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
Chris Verhoef
EUROMICRO
2005
IEEE
15 years 7 months ago
QoS-aware Mobile Middleware for Video Streaming
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...
Sten Lundesgaard Amundsen, Ketil Lund, Carsten Gri...
SOCO
2005
Springer
15 years 7 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
OOPSLA
2004
Springer
15 years 7 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek