1445 search results - page 118 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
IPCCC
2006
IEEE
14 years 2 months ago
2006
IEEE
Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The problem stems in large part from the constant innovation and evolu...
WEBDB
2005
Springer
14 years 2 months ago
2005
Springer
As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of caching results...
FORTE
2008
13 years 10 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
ITNG
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
SOFSEM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...