Sciweavers

12597 search results - page 2489 / 2520
» Complexity of Mechanism Design
Sort
View
ESWA
2006
195views more  ESWA 2006»
14 years 9 months ago
JavaDON: an open-source expert system shell
The paper describes JavaDON, an open-source expert systems shell based on the OBOA framework for developing intelligent systems. The central idea of the JavaDON project was to mak...
Bojan Tomic, Jelena Jovanovic, Vladan Devedzic
FGCS
2006
148views more  FGCS 2006»
14 years 9 months ago
Personal Varrier: Autostereoscopic virtual reality display for distributed scientific visualization
As scientific data sets increase in size, dimensionality, and complexity, new high resolution, interactive, collaborative networked display systems are required to view them in re...
Tom Peterka, Daniel J. Sandin, Jinghua Ge, Javier ...
GRID
2006
Springer
14 years 9 months ago
The Palantir Grid Meta-Information System
Grids allow large scale resource-sharing across different administrative domains. Those diverse resources are likely to join or quit the Grid at any moment or possibly to break dow...
Francesc Guim, Ivan Rodero, M. Tomas, Julita Corba...
87
Voted
CN
2007
117views more  CN 2007»
14 years 9 months ago
Secure multicast in dynamic environments
A secure multicast framework should only allow authorized members of a group to decrypt received messages; usually, one ‘‘group key’’ is shared by all approved members. Ho...
Chun-Ying Huang, Yun-Peng Chiu, Kuan-Ta Chen, Chin...
JCS
2008
119views more  JCS 2008»
14 years 9 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
« Prev « First page 2489 / 2520 Last » Next »