7121 search results - page 1147 / 1425 » Functions as Session-Typed Processes |
120
click to vote
CASCON
2003
15 years 6 months ago
2003
Many software engineering research tools are stand-alone applications that have trouble interoperating with other development tools and do not fit well into the software develope...
143
click to vote
ICWN
2004
15 years 6 months ago
2004
Abstract-- Many clustering protocols for mobile ad hoc networks (MANETs) have been proposed in the literature. With only one exception so far [1], all these protocols are proactive...
138
click to vote
CATA
2003
15 years 6 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
128
click to vote
ECIS
2001
15 years 6 months ago
2001
Enterprise Resource Planning (ERP) packages have, in the last five years, transformed the way organisations go about the process of providing Information Systems. Instead of craft...
141
click to vote
GRAPHICSINTERFACE
2001
15 years 6 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...