3081 search results - page 487 / 617 » A Formal Ontology of Properties |
174
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
151
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
182
click to vote
JSW
2006
15 years 6 months ago
2006
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
188
click to vote
JDWM
2007
15 years 6 months ago
2007
Comprehensive data analysis has become indispensable in a variety of domains. OLAP (On-Line Analytical Processing) systems tend to perform poorly or even fail when applied to comp...
149
click to vote
TCS
2002
15 years 6 months ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...