8109 search results - page 107 / 1622 » A Model of Component-Based Programming |
142
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
136
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
125
Voted
DCOSS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
163
click to vote
JMLR
2008
15 years 4 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
117
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...