Sciweavers

2024 search results - page 70 / 405
» A Formal Model of Multi-agent Computations
Sort
View
DBSEC
2009
163views Database» more  DBSEC 2009»
15 years 7 days ago
A Trust-Based Access Control Model for Pervasive Computing Applications
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
Manachai Toahchoodee, Ramadan Abdunabi, Indrakshi ...
ICCS
2007
Springer
15 years 5 months ago
Composing Different Models of Computation in Kepler and Ptolemy II
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
Antoon Goderis, Christopher Brooks, Ilkay Altintas...
TAMODIA
2008
15 years 17 days ago
Information Supply Mechanisms in Ubiquitous Computing, Crisis Management and Workflow Modelling
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...
Jurriaan van Diggelen, Robbert-Jan Beun, Rogier M....
SEMWEB
2007
Springer
15 years 5 months ago
On the Foundations of Computing Deltas Between RDF Models
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
Dimitris Zeginis, Yannis Tzitzikas, Vassilis Chris...
IEEEICCI
2006
IEEE
15 years 5 months ago
SenseNet: A Knowledge Representation Model for Computational Semantics
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
Ping Chen, Wei Ding 0003, Chengmin Ding