Sciweavers

1817 search results - page 182 / 364
» Extensive Games as Process Models
Sort
View
143
Voted
BMCBI
2010
122views more  BMCBI 2010»
15 years 3 months ago
An overview of the CellML API and its implementation
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
Andrew K. Miller, Justin Marsh, Adam Reeve, Alan G...
110
Voted
UML
2005
Springer
15 years 9 months ago
Extending Profiles with Stereotypes for Composite Concepts
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...
126
Voted
ENTCS
2006
100views more  ENTCS 2006»
15 years 3 months ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...
ICSE
1987
IEEE-ACM
15 years 7 months ago
Software Interconnection Models
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
Dewayne E. Perry
COMPSAC
2007
IEEE
15 years 9 months ago
Learning Parameterized State Machine Model for Integration Testing
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz