Sciweavers

3619 search results - page 561 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
181
Voted
POST
2012
218views more  POST 2012»
13 years 11 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
138
Voted
ATAL
2006
Springer
15 years 5 months ago
Autonomous agents for air-traffic deconfliction
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...
Michal Pechoucek, David Sislák, Dusan Pavl&...
143
Voted
GRID
2008
Springer
15 years 4 months ago
Grid service hosting on virtual clusters
This paper presents an architecture for service hosting on virtual clusters spanning multiple administrative domains that balances the requirements of application developers and r...
Bobby House, Paul Marshall, Michael Oberg, Henry M...
131
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
98
Voted
WWW
2001
ACM
16 years 4 months ago
Function-based object model towards website adaptation
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...
Jinlin Chen, Baoyao Zhou, Jin Shi, HongJiang Zhang...