Sciweavers

3005 search results - page 304 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
186
Voted
CAV
2005
Springer
139views Hardware» more  CAV 2005»
16 years 9 days ago
The Orchids Intrusion Detection Tool
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
Julien Olivain, Jean Goubault-Larrecq
DMSN
2009
ACM
16 years 1 months ago
Message models and aggregation in knowledge based middleware for rich sensor systems
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
Joseph B. Kopena, William C. Regli, Boon Thau Loo
WWW
2005
ACM
16 years 7 months ago
An enhanced model for searching in semantic portals
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
Lei Zhang, Yong Yu, Jian Zhou, Chenxi Lin, Yin Yan...
PPSN
2004
Springer
16 years 3 days ago
Recognizing Speed Limit Sign Numbers by Evolvable Hardware
An automatic traffic sign detection system would be important in a driver assistance system. In this paper, an approach for detecting numbers on speed limit signs is proposed. Suc...
Jim Torresen, Jorgen W. Bakke, Lukás Sekani...
ICDE
2009
IEEE
195views Database» more  ICDE 2009»
16 years 1 months ago
The PRISM Workwench: Database Schema Evolution without Tears
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...
Carlo Curino, Hyun J. Moon, MyungWon Ham, Carlo Za...