2196 search results - page 57 / 440 » Practical Reasoning Using Values |
IJKL
2010
13 years 4 months ago
2010
: For todays organisations to obtain competitive advantages, online corporate Communities of Practice (CoPs) are indispensable. However, often the majority of its participants does...
ESWS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
FMSD
2006
13 years 9 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
SIGMOD
1999
ACM
14 years 2 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...