Sciweavers

9640 search results - page 1540 / 1928
» Information Systems Development as an Activity
Sort
View
CSE
2009
IEEE
16 years 1 months ago
Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
Daniel Trivellato, Fred Spiessens, Nicola Zannone,...
ATAL
2009
Springer
16 years 1 months ago
A model for integrating dialogue and the execution of joint plans
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
Yuqing Tang, Timothy J. Norman, Simon Parsons
ICANNGA
2009
Springer
133views Algorithms» more  ICANNGA 2009»
16 years 1 months ago
Visualizing Time Series State Changes with Prototype Based Clustering
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
Markus Pylvänen, Sami Äyrämö, ...
MHCI
2009
Springer
16 years 1 months ago
An evaluation of authoring interfaces for image-based navigation
We present the development and evaluation of an authoring system for image-based pedestrian navigation which lets authors take pictures and annotate instructions on the go in thre...
Benjamin Walther-Franks, Dirk Wenig, Rainer Malaka...
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
16 years 1 months ago
PicNIc - Pi-calculus non-interference checker
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...
« Prev « First page 1540 / 1928 Last » Next »