671 search results - page 6 / 135 » The Role of Composition in Computer Programming |
151
Voted
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
172
click to vote
ASWEC
2007
IEEE
16 years 5 days ago
2007
IEEE
Service Oriented Computing (SOC) is a paradigm for building new software applications from existing loosely-coupled services. During service composition, services available to pla...
167
Voted
CHI
2011
ACM
14 years 9 months ago
2011
ACM
We present a novel integration of a brain-computer interface (BCI) with a music step sequencer composition program. Previous BCIs that utilize EEG data to form music provide users...
149
Voted
ICCS
1997
Springer
15 years 10 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
141
Voted
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...