1054 search results - page 73 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
107
click to vote
CSDA
2007
15 years 4 months ago
2007
Rainfall-Runoff and Signal Separation Problems: The process of converting rainfall into runoff is a highly nonlinear problem due to the soil-water interaction that starts when r...
122
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
143
click to vote
CAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
127
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
133
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...