Sciweavers

6953 search results - page 407 / 1391
» Development Tools for Distributed Applications
Sort
View
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
TSC
2008
209views more  TSC 2008»
15 years 6 months ago
Effective Web Service Composition in Diverse and Large-Scale Service Networks
Web services are considered to be a potential silver bullet for the envisioned Service Oriented Architecture, in which loosely coupled software components are published, located, a...
Seog-Chan Oh, Dongwon Lee, Soundar R. T. Kumara
BMCBI
2005
137views more  BMCBI 2005»
15 years 6 months ago
ArrayQuest: a web resource for the analysis of DNA microarray data
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...
Gary L. Argraves, Saurin D. Jani, Jeremy L. Barth,...
ECBS
2002
IEEE
115views Hardware» more  ECBS 2002»
15 years 11 months ago
An Extensible Software Architecture for Mobile Components
This paper presents a generic software architecture for large-scale distributed applications in which mobile agents are an integral part. We developed this architecture through th...
Dag Johansen, Kåre J. Lauvset, Keith Marzull...
COORDINATION
1997
Springer
15 years 11 months ago
Coordination Patterns for Parallel Computing
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can ...
Bernd Freisleben, Thilo Kielmann