Sciweavers

44 search results - page 7 / 9
» Adaptation of Large-Scale Open Source Software - An Experien...
Sort
View
BMCBI
2005
130views more  BMCBI 2005»
13 years 5 months ago
Squid - a simple bioinformatics grid
Background: BLAST is a widely used genetic research tool for analysis of similarity between nucleotide and protein sequences. This paper presents a software application entitled &...
Paulo C. Carvalho, Rafael V. Glória, Antoni...
IUI
1997
ACM
13 years 10 months ago
Generating Web-Based Presentations in Spatial Hypertext
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
Frank M. Shipman III, Richard Furuta, Catherine C....
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
13 years 11 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
ICSE
2012
IEEE-ACM
11 years 8 months ago
What make long term contributors: Willingness and opportunity in OSS community
—To survive and succeed, software projects need to attract and retain contributors. We model the individual’s chances to become a valuable contributor through her capacity, wil...
Minghui Zhou, Audris Mockus
AGENTS
2001
Springer
13 years 10 months ago
A social reinforcement learning agent
We report on the use of reinforcement learning with Cobot, a software agent residing in the wellknown online community LambdaMOO. Our initial work on Cobot (Isbell et al.2000) pro...
Charles Lee Isbell Jr., Christian R. Shelton, Mich...