Sciweavers

930 search results - page 21 / 186
» Integrating dialog modelling and application development
Sort
View
ISORC
2000
IEEE
15 years 4 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
DGO
2008
135views Education» more  DGO 2008»
15 years 1 months ago
Florida Public Hurricane Loss Model (FPHLM): research experience in system integration
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
Shu-Ching Chen, Min Chen, Na Zhao, Shahid Hamid, K...
METRICS
2005
IEEE
15 years 5 months ago
Empowering Software Development Environments by Automatic Software Measurement
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
Bernhard Daubner
B
2007
Springer
15 years 6 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
114
Voted
CORR
2011
Springer
209views Education» more  CORR 2011»
14 years 6 months ago
Aneka Cloud Application Platform and Its Integration with Windows Azure
Aneka is an Application Platform-as-a-Service (Aneka PaaS) for Cloud Computing. It acts as a framework for building customized applications and deploying them on either public or ...
Yi Wei, Karthik Sukumar, Christian Vecchiola, Dile...