3713 search results - page 177 / 743 » Constructing a Calculus of Programs |
161
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
128
click to vote
SENSYS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...
131
click to vote
VL
2000
IEEE
15 years 8 months ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...
115
Voted
DAGSTUHL
2001
15 years 4 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
137
Voted
LISA
2004
15 years 4 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...