2613 search results - page 121 / 523 » Proposal for Tools Supporting Component Based Programming |
146
click to vote
ENTCS
2006
15 years 4 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
147
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
168
Voted
JNW
2007
15 years 4 months ago
2007
Abstract— This paper presents a gentle system for supervising care-support services that fulfill users’ actual requirements based on their physical locations and statuses of s...
164
click to vote
SECON
2007
IEEE
15 years 11 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
149
click to vote
WSC
2008
15 years 7 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...