501 search results - page 43 / 101 » Diagram Techniques for Confluence |
158
click to vote
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
120
click to vote
GI
2005
Springer
15 years 7 months ago
2005
Springer
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...
114
click to vote
CG
2010
Springer
15 years 8 days ago
2010
Springer
Generating, grouping, and labeling free-sketch data is a difficult and time-consuming task for both user study participants and researchers. To simplify this process for both part...
101
click to vote
CAISE
2009
Springer
15 years 8 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
IFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...