Sciweavers

4286 search results - page 520 / 858
» Formalizing Service Interactions
Sort
View
AGENTS
2000
Springer
15 years 9 months ago
Capability-based agent matchmaking
In an agent-based system, where different agents form dynamic associations for the purposes of collaborative processing, agents must be able to locate other agents that can provi...
Anthony R. Cassandra, Damith Chandrasekara, Marian...
148
Voted
APSEC
2004
IEEE
15 years 8 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
131
Voted
FAABS
2000
Springer
15 years 8 months ago
Modeling and Programming Devices and Web Agents
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
Sheila A. McIlraith
146
Voted
ICDCS
1995
IEEE
15 years 8 months ago
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is pre...
Alan Fekete, M. Frans Kaashoek, Nancy A. Lynch
ICWS
2008
IEEE
15 years 6 months ago
A Faceted Classification Based Approach to Search and Rank Web APIs
Web application hybrids, popularly known as mashups, are created by integrating services on the Web using their APIs. Support for finding an API is currently provided by generic s...
Karthik Gomadam, Ajith Ranabahu, Meenakshi Nagaraj...