Sciweavers

9503 search results - page 1576 / 1901
» Authenticated System Calls
Sort
View
FLAIRS
2004
15 years 8 months ago
Reasoning on Spatial Constraints over Regions
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
Kazuko Takahashi
FLAIRS
2004
15 years 8 months ago
Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...
Lingzhong Zhou, John Thornton, Abdul Sattar
GRAPHICSINTERFACE
2004
15 years 8 months ago
Object Pointing: A Complement to Bitmap Pointing in GUIs
Pointing, a cornerstone of our graphical user interfaces, has been conceptualized and implemented so far as the act of selecting pixels in bitmap displays. We show that the curren...
Yves Guiard, Renaud Blanch, Michel Beaudouin-Lafon
EPK
2006
114views Management» more  EPK 2006»
15 years 8 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
IADIS
2004
15 years 8 months ago
A Different Pedagogical Approach to Teaching a Web Applications Course
This paper describes a different approach to teaching a web-applications course. Rather than lecturing, the instructor organizes material and serves as a guide as students work th...
Roy P. Pargas
« Prev « First page 1576 / 1901 Last » Next »