Sciweavers

2027 search results - page 27 / 406
» Process Support for Tools Interoperability
Sort
View
TOPNOC
2008
14 years 9 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
APSEC
2004
IEEE
15 years 1 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
UML
2001
Springer
15 years 2 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...
UML
2005
Springer
15 years 3 months ago
Tool Support for Model-Based Generation of Advanced User Interfaces
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
Andreas Wolff, Peter Forbrig, Daniel Reichart
94
Voted
ISPAN
1996
IEEE
15 years 1 months ago
An effective parallelization of execution of multijoins in multiprocessor systems
In this paper, we study a synchronous execution strategy f o r parallel join computation in multiprocessor systems. Through a further comprehensive investigation of the processor ...
Xuemin Lin, S. Fox