Sciweavers

5246 search results - page 93 / 1050
» Sanitization models and their limitations
Sort
View
CANDC
2004
ACM
14 years 11 months ago
Stochastic approaches for modelling in vivo reactions
In recent years, stochastic modelling has emerged as a physically more realistic alternative for modelling in vivo reactions. There are numerous stochastic approaches available in...
Thomas E. Turner, Santiago Schnell, Kevin Burrage
RE
2002
Springer
14 years 11 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
JSYML
2011
50views more  JSYML 2011»
14 years 2 months ago
Determinacy in strong cardinal models
We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example: ...
Philip D. Welch
ISCC
2009
IEEE
130views Communications» more  ISCC 2009»
15 years 6 months ago
Context-aware publish-subscribe: Model, implementation, and evaluation
Complex communication patterns often need to take into account the situation in which the information to be communicated is produced or consumed. Publish-subscribe, and particular...
Gianpaolo Cugola, Alessandro Margara, Matteo Migli...
SEMCO
2007
IEEE
15 years 5 months ago
Thematic Role Based Generation of UML Models from Real World Requirements
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
Tom Gelhausen, Walter F. Tichy