3765 search results - page 389 / 753 » Qualitative Action Systems |
164
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
290
click to vote
ICMCS
2008
IEEE
16 years 2 months ago
2008
IEEE
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
213
Voted
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
202
click to vote
RWEB
2007
Springer
16 years 1 months ago
2007
Springer
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...
201
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
The question of why individuals adopt a particular information system is an important issue in IS research. While extensive prior research has established that the Technology Acce...