Sciweavers

4196 search results - page 141 / 840
» Supporting the development of network programs
Sort
View
122
Voted
IJMMS
2008
119views more  IJMMS 2008»
15 years 3 months ago
Collaboration and co-ordination in mature eXtreme programming teams
Mature eXtreme programming (XP) teams are highly collaborative and self-organising. In previous studies, we have observed that these teams rely on two apparently simple mechanisms...
Helen Sharp, Hugh Robinson
110
Voted
REX
1989
15 years 7 months ago
METATEM: A Framework for Programming in Temporal Logic
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
Howard Barringer, Michael Fisher, Dov M. Gabbay, G...
174
Voted
IPM
1998
176views more  IPM 1998»
15 years 3 months ago
Interfaces and Tools for the Library of Congress National Digital Library Program
This paper describes a collaborative effort to explore user needs in a digital library, develop interface prototypes for a digital library, and suggest and prototype tools for dig...
Gary Marchionini, Catherine Plaisant, Anita Komlod...
133
Voted
ICCS
2001
Springer
15 years 8 months ago
Adaptive Load Balancing for MPI Programs
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
Milind A. Bhandarkar, Laxmikant V. Kalé, Er...
145
Voted
MODELS
2010
Springer
15 years 2 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis