924 search results - page 68 / 185 » An expressive aspect language for system applications with A... |
AICCSA
2001
IEEE
14 years 18 days ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
NJC
2000
13 years 8 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
IPSN
2007
Springer
14 years 3 months ago
2007
Springer
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...