10575 search results - page 548 / 2115 » T2Script Programming Language |
271
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
174
click to vote
IPSN
2010
Springer
16 years 2 months ago
2010
Springer
We present SQUIRREL, a stream-oriented programming framework for storage-centric sensor networks. The storagecentric paradigm—where storage operations prevail over communication...
204
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
181
click to vote
ML
2006
ACM
16 years 1 months ago
2006
ACM
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
211
click to vote
CEFP
2005
Springer
16 years 24 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...