1124 search results - page 46 / 225 » Refined quorum systems |
108
click to vote
ENTCS
2006
15 years 2 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
ACSW
2004
15 years 3 months ago
2004
In this paper, a `market trading' technique is integrated with the techniques of rule discovery and refinement for data mining. A classifier system-inspired model, the market...
110
click to vote
APCCM
2008
15 years 3 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
125
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Major hardware and software vendors are curious about transactional memory (TM), but are understandably cautious about committing to hardware changes. Our thesis is that deconstru...
ICMCS
1996
IEEE
15 years 6 months ago
1996
IEEE
The MATILDA multimedia authoring system has been developedto addressissuesrelated to authoringprocessand information management and representation. This paper presents our initial...