Sciweavers

3765 search results - page 656 / 753
» Qualitative Action Systems
Sort
View
EUC
2007
Springer
15 years 10 months ago
Scriptable Sensor Network Based Home-Automation
Today, proprietary home automation targets very specific applications which operate mostly on a cable based infrastructure. In contrast to that, our implementation builds a wirele...
Thomas Haenselmann, Thomas King, Marcel Busse, Wol...
121
Voted
FOSAD
2007
Springer
15 years 10 months ago
Secure Service Orchestration
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
152
Voted
ICSE
2007
IEEE-ACM
15 years 10 months ago
Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
Sarah Smith Heckman
ISI
2007
Springer
15 years 10 months ago
Visualization of Events in a Spatially and Multimedia Enriched Virtual Environment
—Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...
Leonidas Deligiannidis, Farshad Hakimpour, Amit P....
135
Voted
LSMS
2007
Springer
15 years 10 months ago
A Simulation Study on the Encoding Mechanism of Retinal Ganglion Cell
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...
Chao-Feng Cai, Pei-Ji Liang, Pu-Ming Zhang