2540 search results - page 352 / 508 » Abstract Logics as Dialgebras |
96
Voted
ICFP
2006
ACM
16 years 19 days ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
MOBISYS
2003
ACM
16 years 8 days ago
2003
ACM
In this paper, we present a middleware architecture for coordination services in sensor networks that facilitates interaction between groups of sensors which monitor different env...
99
Voted
EWSN
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Exist...
115
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
166
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...