Sciweavers

379 search results - page 42 / 76
» Practical Issues in Ontology Engineering
Sort
View
PSSS
2003
15 years 5 months ago
Extending Classical Theorem Proving for the Semantic Web
We investigate the applicability of classical resolution-based theorem proving methods for the Semantic Web. We consider several well-known search strategies, propose a general sch...
Tanel Tammet
ICSE
2000
IEEE-ACM
15 years 7 months ago
Software reliability and dependability: a roadmap
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
Bev Littlewood, Lorenzo Strigini
124
Voted
SOCO
2005
Springer
15 years 9 months ago
Composition-Oriented Service Discovery
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
Antonio Brogi, Sara Corfini, Razvan Popescu
121
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan
114
Voted
CISIS
2010
IEEE
15 years 10 months ago
Translational Research and Context in Health Monitoring Systems
Context has been applied to a broad range of domains and systems ranging from location-based tourist applications to motion capture. An area relatively under-represented in the li...
Robert Ashford, Philip Moore, Bin Hu, Mike Jackson...