Sciweavers

840 search results - page 60 / 168
» Open multi-methods for c
Sort
View
ESWS
2010
Springer
15 years 8 months ago
Put in Your Postcode, Out Comes the Data: A Case Study
A single datum or a set of a categorical data has little value on its own. Combinations of disparate sets of data increase the value of those data sets and helps to discover intere...
Tope Omitola, Christos L. Koumenides, Igor O. Popo...
LADS
2009
Springer
15 years 7 months ago
Detecting Exceptions in Commitment Protocols: Discovering Hidden States
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...
Özgür Kafali, Pinar Yolum
APNOMS
2006
Springer
15 years 7 months ago
Distributed Fault Management in WBEM-Based Inter-AS TE for QoS Guaranteed DiffServ-over-MPLS
Distributed fault management and event notification are essential in Inter-AS Traffic Engineering (TE). In this paper we design and implement distributed fault management for WBEM...
Abdurakhmon Abdurakhmanov, Shahnaza Tursunova, Sha...
KDD
2009
ACM
163views Data Mining» more  KDD 2009»
16 years 3 months ago
Large-scale graph mining using backbone refinement classes
We present a new approach to large-scale graph mining based on so-called backbone refinement classes. The method efficiently mines tree-shaped subgraph descriptors under minimum f...
Andreas Maunz, Christoph Helma, Stefan Kramer
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
16 years 3 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal