Sciweavers

402 search results - page 17 / 81
» Verification of Distributed Knowledge in Semantic Knowledge ...
Sort
View
CLUSTER
2000
IEEE
15 years 4 months ago
Agilent's Key Technologies in Remote System Management
Agilent Technologies Boeblingen Verification Solutions is offering a variety of remote system management products. This paper will summarize the key technologies on which Agilents...
Michael Herz
DKE
2008
158views more  DKE 2008»
14 years 11 months ago
Integration and verification of semantic constraints in adaptive process management systems
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
87
Voted
TMRA
2007
Springer
15 years 5 months ago
Metadata Creation in Socio-semantic Tagging Systems: Towards Holistic Knowledge Creation and Interchange
Fuzzzy.com, a social bookmarking website has been developed to study collaborative creation of semantics. In a shared online space, users of Fuzzzy continuously create metadata bot...
Roy Lachica, Dino Karabeg
ATAL
2008
Springer
15 years 1 months ago
Using organization knowledge to improve routing performance in wireless multi-agent networks
Multi-agent systems benefit greatly from an organization design that guides agents in determining when to communicate, how often, with whom, with what priority, and so on. However...
Huzaifa Zafar, Victor R. Lesser, Daniel D. Corkill...
DEXAW
2006
IEEE
153views Database» more  DEXAW 2006»
15 years 5 months ago
Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual O
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...