Sciweavers

1134 search results - page 148 / 227
» Distributed Proving in Access-Control Systems
Sort
View
117
Voted
WSC
1998
15 years 5 months ago
Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
Fernando J. Barros, Bernard P. Zeigler, Paul A. Fi...
116
Voted
IJCAI
1989
15 years 4 months ago
Learning Novel Domains Through Curiosity and Conjecture
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
Paul D. Scott, Shaul Markovitch
130
Voted
PERCOM
2008
ACM
15 years 3 months ago
Peer-to-Peer Context Reasoning in Pervasive Computing Environments
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
Tao Gu, Hung Keng Pung, Daqing Zhang
126
Voted
TCS
2008
15 years 3 months ago
Nondeterministic polynomial time factoring in the tile assembly model
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...
Yuriy Brun
144
Voted
JCIT
2010
158views more  JCIT 2010»
14 years 10 months ago
A Flexible Grid Task Scheduling Algorithm Based on QoS Similarity
s In grid computing, the goals of task scheduling is to achieve high system optimization performance while matching multi-dimension Quiality of Service(QoS) requirement of applicat...
Kunfang Song, Shufen Ruan, Minghua Jiang