Sciweavers

9006 search results - page 1526 / 1802
» Modeling Software
Sort
View
STORAGESS
2005
ACM
15 years 10 months ago
The evolution of storage service providers: techniques and challenges to outsourcing storage
As enterprise storage needs grow, it is challenging to manage storage systems. The costs of locally managing, supporting, and maintaining resilience in storage systems has skyrock...
Ragib Hasan, William Yurcik, Suvda Myagmar
CLEF
2005
Springer
15 years 10 months ago
SINAI at CLEF 2005: Multi-8 Two-Years-on and Multi-8 Merging-Only Tasks
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
Fernando Martínez Santiago, Miguel Angel Ga...
FOSSACS
2005
Springer
15 years 10 months ago
Duality for Logics of Transition Systems
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
Marcello M. Bonsangue, Alexander Kurz
KNINVI
2005
Springer
15 years 10 months ago
Concept Maps: Integrating Knowledge and Information Visualization
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...
Alberto J. Cañas, Roger Carff, Greg Hill, M...
SEMWEB
2005
Springer
15 years 10 months ago
Finding and Ranking Knowledge on the Semantic Web
Abstract. Swoogle helps software agents and knowledge engineers find Semantic Web knowledge encoded in RDF and OWL documents on the Web. Navigating such a Semantic Web on the Web ...
Li Ding, Rong Pan, Timothy W. Finin, Anupam Joshi,...
« Prev « First page 1526 / 1802 Last » Next »