4196 search results - page 103 / 840 » Supporting the development of network programs |
132
click to vote
BPM
2003
Springer
15 years 8 months ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
123
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
152
Voted
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
133
click to vote
ESEM
2007
ACM
15 years 7 months ago
2007
ACM
Estimation of development effort without imposing overhead on the project and the development team is of paramount importance for any software company. This study proposes a new e...
105
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...