740 search results - page 57 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
143
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
115
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...
113
click to vote
VAMOS
2010
Springer
15 years 2 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
100
click to vote
INTERACT
2003
15 years 2 months ago
2003
: Technology to support groups is rapidly growing in use and in its impact on us, our organizations, and society. Some very important trends are only now being identified, as use o...
CSCWD
2008
Springer
15 years 3 months ago
2008
Springer
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...