Sciweavers

1516 search results - page 24 / 304
» How Open is e-Science
Sort
View
DAGSTUHL
2004
15 years 3 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
STTT
2010
122views more  STTT 2010»
15 years 27 days ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
PADS
1996
ACM
15 years 6 months ago
Queueing Models and Stability of Message Flows in Distributed Simulators of Open Queueing Networks
In this paper we study message flow processes in distributed simulators of open queueing networks. We develop and study queueing models for distributed simulators with maximum loo...
Manish Gupta 0007, Anurag Kumar, Rajeev Shorey
BIB
2006
150views more  BIB 2006»
15 years 2 months ago
Open source tools and toolkits for bioinformatics: significance, and where are we?
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
Jason E. Stajich, Hilmar Lapp
CE
2008
86views more  CE 2008»
15 years 1 months ago
Free/libre open source software implementation in schools: Evidence from the field and implications for the future
This empirical paper shows how free/libre open source software (FLOSS) contributes to mutual and collaborative learning in an educational environment. Unlike proprietary software,...
Yu-Wei Lin, Enrico Zini