5757 search results - page 975 / 1152 » Dynamic Policy Programming |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
PERCOM
2003
ACM
14 years 9 months ago
2003
ACM
Smart Messages (SMs) are dynamic collections of code and data that migrate to nodes of interest in the network and execute on these nodes. A key challenge in programming pervasive...
MOBIHOC
2006
ACM
14 years 9 months ago
2006
ACM
Data storage has become an important issue in sensor networks as a large amount of collected data need to be archived for future information retrieval. This paper introduces stora...
EWSN
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. The ability to update the program code installed on wireless sensor nodes plays an import role in the highly dynamic environments sensor networks are often deployed in. S...
DCC
2005
IEEE
14 years 9 months ago
2005
IEEE
We analyze the technique for reducing the complexity of entropy coding consisting in the a priori grouping of the source alphabet symbols, and in dividing the coding process in tw...