9642 search results - page 1682 / 1929 » Semantics in Multimedia Systems |
78
Voted
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
We report on experience that we made in the Trading room InteGRation Architecture project (TIGRA) at a large German bank. TIGRA developed a distributed system architecture for int...
112
Voted
TACAS
2001
Springer
15 years 3 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
117
Voted
SP
2000
IEEE
15 years 3 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
CSCW
2000
ACM
15 years 3 months ago
2000
ACM
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as op...
79
Voted
ECOOP
2000
Springer
15 years 3 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...