Sciweavers

78 search results - page 11 / 16
» A Truly Magic Solution
Sort
View
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
13 years 11 months ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
ESWS
2008
Springer
13 years 8 months ago
Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery
UDDI registries are included as a standard offering within the product suite of any major SOA vendor, serving as the foundation for establishing design-time and run-time SOA govern...
Dimitrios Kourtesis, Iraklis Paraskakis
SODA
2008
ACM
112views Algorithms» more  SODA 2008»
13 years 8 months ago
The effect of induced subgraphs on quasi-randomness
One of the main questions that arise when studying random and quasi-random structures is which properties P are such that any object that satisfies P "behaves" like a tr...
Asaf Shapira, Raphael Yuster
CLUSTER
2007
IEEE
13 years 6 months ago
Meta-communications in component-based communication frameworks for grids
— Applications are faced with several network-related problems on current grids: heterogeneous networks, firewalls, NAT, private IP addresses, non-routed networks, performance p...
Alexandre Denis
JIFS
2006
120views more  JIFS 2006»
13 years 6 months ago
Building similarity metrics reflecting utility in case-based reasoning
Fundamental to case-based reasoning is the idea that similar problems have similar solutions. The meaning of the concept of "similarity" can vary in different situations...
Ning Xiong, Peter Funk