4196 search results - page 368 / 840 » Supporting the development of network programs |
163
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
138
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
166
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
126
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Body sensor networks are emerging as a promising platform for healthcare monitoring. These systems are composed of battery-operated embedded devices which process physiological ...
139
click to vote
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
We provide empirical support for the assertions that high level of knowledge construction is associated with structured design and that knowledge construction is associated with c...