7430 search results - page 749 / 1486 » Programming Applications in CIFF |
241
click to vote
SFM
2005
Springer
16 years 1 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
223
click to vote
SPIN
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
176
click to vote
HOTOS
2003
IEEE
16 years 24 days ago
2003
IEEE
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...
164
click to vote
ICFP
2009
ACM
16 years 6 days ago
2009
ACM
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
206
click to vote
SIGSOFT
2009
ACM
16 years 5 days ago
2009
ACM
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...