Sciweavers

328 search results - page 30 / 66
» A case study in building layered DHT applications
Sort
View
ICSE
2000
IEEE-ACM
15 years 5 months ago
Multiple mass-market applications as components
Truly successful models for component-based software development continue to prove elusive. One of the few is the use of operating system, database and similar programs in many sy...
David Coppit, Kevin J. Sullivan
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 11 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
BMCBI
2007
151views more  BMCBI 2007»
15 years 1 months ago
A comparison study on algorithms of detecting long forms for short forms in biomedical text
Motivation: With more and more research dedicated to literature mining in the biomedical domain, more and more systems are available for people to choose from when building litera...
Manabu Torii, Zhang-Zhi Hu, Min Song, Cathy H. Wu,...
ESCIENCE
2005
IEEE
15 years 7 months ago
The GriddLeS Data Replication Service
The Grid provides infrastructure that allows an arbitrary application to be executed on a range of different computational resources. When input files are very large, or when faul...
Tim Ho, David Abramson
IADIS
2003
15 years 3 months ago
XML User Interfaces for Collaborative Mobile Virtual Communities
In [7], we reported on our experience in building Collaborative Mobile Virtual Communities (CMVC) on the Web. In [8], we proposed a finite state machine model and a new approach t...
Jalal Kawash