6047 search results - page 606 / 1210 » Modeling with Extend |
182
click to vote
PVLDB
2010
15 years 5 months ago
2010
Enterprises often need to assess and manage the risk arising from uncertainty in their data. Such uncertainty is typically modeled as a probability distribution over the uncertain...
263
click to vote
STTT
2010
15 years 5 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
160
click to vote
TOSEM
2010
15 years 5 months ago
2010
Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to e ciently support dynamic AO features. We demonstrate these bene ts...
218
click to vote
HT
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we consider provenance modelling in Adaptive Hypermedia Systems (AHS). We revisit adaptation and data provenance questions and bring up new and complementary aspects...
206
click to vote
QEST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...