1429 search results - page 158 / 286 » An Overview of the Annex System |
193
click to vote
SECPERU
2006
IEEE
16 years 15 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 ...
151
click to vote
ELPUB
2006
ACM
16 years 14 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...
199
click to vote
INFOSCALE
2006
ACM
16 years 14 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...
175
click to vote
IWCMC
2006
ACM
16 years 14 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 ...
163
click to vote
DATE
2005
IEEE
16 years 3 days 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...