5353 search results - page 945 / 1071 » Modelling Contexts in the Or-BAC Model |
155
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
161
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we describe our experience in integrating the RIM's BlackBerry handheld wireless device into programming and literacy courses at the University of Guelph and th...
159
click to vote
APGV
2007
ACM
15 years 10 months ago
2007
ACM
The display of space filling data is still a challenge for the community of visualization. Direct Volume Rendering (DVR) is one of the most important techniques developed to achie...
252
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
168
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Traffic burstiness has a significant impact on network performance. Burstiness can cause buffer overflows and packet drops and is particularly problematic in the context of small-b...