1445 search results - page 16 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
IJDSST
2010
13 years 5 months ago
2010
Decision support systems get more useful as they manage to make decisions more informed. However, the cost of information and of combining and making it available in the appropriat...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
In a joint research project concerning the use and design of IT in public services, we are using a simple figure of on-going design-oriented interactions to highlight shifting foc...
PET
2010
Springer
14 years 16 days ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...