Sciweavers

1949 search results - page 159 / 390
» Protective Interface Specifications
Sort
View
MODELS
2007
Springer
15 years 8 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
NIME
2004
Springer
106views Music» more  NIME 2004»
15 years 7 months ago
Epipe : A Novel Electronic Woodwind Controller
The Epipe is a novel electronic woodwind controller with continuous tonehole coverage sensing, an initial design for which was introduced at NIME ’03. Since then, we have succes...
Stephen Hughes, Cormac Cannon, M. Sile O'Modhrain
VL
2003
IEEE
126views Visual Languages» more  VL 2003»
15 years 7 months ago
Spatial graph grammars for web information transformation
Thispaper presents an approach to spatial specifications for Web information transformation'. Extended from the Reserved Graph Grammar (RGG), a Spatial Graph Grammar (SGG) is...
Mei Kang Qiu, Guang-Lei Song, Jun Kong, Kang Zhang
ICFEM
2003
Springer
15 years 7 months ago
Service-Based Systems Engineering: Consistent Combination of Services
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
Bernhard Schätz, Chris Salzmann
111
Voted
ADAEUROPE
2001
Springer
15 years 6 months ago
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...
Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier