Sciweavers

492 search results - page 1 / 99
» Hybrid Sequence Charts
Sort
View
ISORC
2000
IEEE
13 years 9 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
CAGD
2008
113views more  CAGD 2008»
13 years 4 months ago
Symmetry of shape charts
For subdivision surfaces, the so-called shape chart can be used to characterize the curvature behavior at an extraordinary point a priori from the initial control net. Of late, it...
Ingo Ginkel, Georg Umlauf
ICDCIT
2004
Springer
13 years 10 months ago
Secure Requirements Elicitation Through Triggered Message Sequence Charts
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
Arnab Ray, Bikram Sengupta, Rance Cleaveland
EVOW
2004
Springer
13 years 10 months ago
A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
Sérgio G. Araújo, Antônio C. M...