968 search results - page 31 / 194 » Software Support Tools and Experimental Work |
BCS
2008
13 years 9 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
MAGS
2008
13 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
BMCBI
2008
13 years 7 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
PROCEDIA
2011
12 years 10 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
CSCW
2002
ACM
13 years 7 months ago
2002
ACM
In this paper, we first describe a formative empirical study to inform the design of CSCW tools to support idea finding in co-located groups. Groups of students worked on creative...