124 search results - page 5 / 25 » A Family of the ODMG Object Models |
187
click to vote
IANDC
2011
15 years 29 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
114
click to vote
CSDA
2006
15 years 6 months ago
2006
The choice of the best-suited statistical distribution for modeling data is not a trivial issue. Unless a sound theoretical background exists for selecting a particular distributi...
119
click to vote
PODC
2006
ACM
15 years 12 months ago
2006
ACM
Common2, the family of objects that implement and are wait-free implementable from 2 consensus objects, is extended inhere in two ways: First, the stack object is added to the fam...
175
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
171
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...