Sciweavers

411 search results - page 53 / 83
» The Collaboration Engineering Maturity Model
Sort
View
ENTCS
2010
103views more  ENTCS 2010»
13 years 5 months ago
A Model and Analysis of the AKAP Scaffold
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
Oana Andrei, Muffy Calder
ICSE
2003
IEEE-ACM
14 years 7 months ago
The Grand Challenge of Trusted Components
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...
Bertrand Meyer
HICSS
2009
IEEE
189views Biometrics» more  HICSS 2009»
14 years 2 months ago
Predicting Change: A Study of the Value Frequency Model for Change of Practice
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
Robert O. Briggs, John D. Murphy, Thomas F. Carlis...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 11 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
COBUILD
1998
Springer
13 years 11 months ago
The Metaphor of Virtual Rooms in the Cooperative Learning Environment CLear
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
Hans-Rüdiger Pfister, Christian Schuckmann, J...