4693 search results - page 150 / 939 » Verifying Hybrid Systems |
CIG
2005
IEEE
15 years 6 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
APSEC
2002
IEEE
15 years 6 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
144
Voted
ICDE
2007
IEEE
15 years 2 months ago
2007
IEEE
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...
110
click to vote
ICONIP
2004
15 years 2 months ago
2004
Most of the current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (...
CSCW
2004
ACM
15 years 26 days ago
2004
ACM
This paper examines WiInf-Central, the `virtual homeplace' of a student community (on Information Systems) at the University of Hamburg, and focuses on processes of social ide...