3477 search results - page 410 / 696 » From Tables to Frames |
164
click to vote
AAAI
2007
15 years 9 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
187
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
179
click to vote
WSC
2008
15 years 9 months ago
2008
The exchange of data between different models in a multisimulation environment is about the exchange of information from within the context of two separate worldviews. This amount...
217
click to vote
ACMDIS
2008
ACM
15 years 9 months ago
2008
ACM
Large collections of photographs are commonplace, and many interfaces for viewing, sorting and organizing them have been proposed. This work describes the design and implementatio...
176
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...