Sciweavers

7118 search results - page 895 / 1424
» Electrical and Computer Engineering
Sort
View
120
Voted
POLICY
2007
Springer
15 years 11 months ago
Infrastructure-Aware Autonomic Manager for Change Management
Typical IT Environments of medium to large size organizations consist of tens of networks that connect hundreds of servers to support the running of a large variety of business-re...
Hady S. AbdelSalam, Kurt Maly, Ravi Mukkamala, Moh...
SARA
2007
Springer
15 years 11 months ago
Extensional Reasoning
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
Timothy L. Hinrichs
SARA
2007
Springer
15 years 11 months ago
Reformulation for Extensional Reasoning
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
Timothy L. Hinrichs, Michael R. Genesereth
SEMWEB
2007
Springer
15 years 11 months ago
Differences + Triple Spaces = Active Triple Spaces
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...
Vlad Tanasescu
175
Voted
SOCO
2007
Springer
15 years 11 months ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro