1003 search results - page 157 / 201 » Extending the Adaptability of Reference Models |
100
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
DEXA
2000
Springer
15 years 5 months ago
2000
Springer
View mechanisms, widely used in the relational databases, pose new questions in the object model which captures much more semantics. In this paper, we will focus on inheritance and...
139
click to vote
SPRINGSIM
2010
14 years 11 months ago
2010
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
106
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...