1456 search results - page 161 / 292 » An Overview of the SODA System |
185
click to vote
SECPERU
2006
IEEE
16 years 11 days ago
2006
IEEE
The extraordinary growth of the Information Society is originating a high dependency on ICT. This provokes that those strongly interrelated technological infrastructures, as well ...
148
click to vote
ELPUB
2006
ACM
16 years 10 days ago
2006
ACM
Interfaces for users on the web are usually created using standard HTML-technologies. Although dynamic textbased features are widely available on the web (e.g. by using DHTML) the...
194
click to vote
INFOSCALE
2006
ACM
16 years 10 days ago
2006
ACM
The popularity and bandwidth consumption attributed to current Peer-to-Peer file-sharing applications makes the operation of these distributed systems very important for the Inte...
170
click to vote
IWCMC
2006
ACM
16 years 10 days ago
2006
ACM
An overview of some recent advances in distributed information processing for control over wireless sensor networks is presented in this paper. Firstly, a taxonomy of fundamental ...
159
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...