Sciweavers

1459 search results - page 251 / 292
» Tool Supported Development of Service-Based Systems
Sort
View
FASE
2005
Springer
14 years 2 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
SIGUCCS
2004
ACM
14 years 2 months ago
Communities of practice: dare to share the knowledge
Communities of practice are not a new idea, but they are being looked at more closely as an important tool for learning and mastering knowledge challenges. Communities of practice...
Debbie Mojta
APSEC
2003
IEEE
14 years 1 months ago
An XVCL Approach to Handling Variants: A KWIC Product Line Example
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
Hongyu Zhang, Stan Jarzabek
COOPIS
2002
IEEE
14 years 1 months ago
Runtime Performance Modeling and Measurement of Adaptive Distributed Object Applications
Distributed applications that can adapt at runtime to changing quality of service (QoS) require a model of the expected QoS and of the possible application adaptations. QoS models ...
John A. Zinky, Joseph P. Loyall, Richard Shapiro
HICSS
2002
IEEE
128views Biometrics» more  HICSS 2002»
14 years 1 months ago
Flexible Instructional Strategies for E-learning
This paper provides an overview on a German lighthouse research project called L3 in the area of e-learning systems that supply e-learning services via a virtual private network. ...
Michael Altenhofen, Joachim Schaper