Sciweavers

945 search results - page 44 / 189
» Posix: A Model for Future Computing
Sort
View
WINET
2002
169views more  WINET 2002»
14 years 9 months ago
Centaurus: An Infrastructure for Service Management in Ubiquitous Computing Environments
In the near future, we will see dramatic changes in computing and networking hardware. A large number of devices (e.g., phones, PDAs, even small household appliances) will become c...
Lalana Kagal, Vlad Korolev, Sasikanth Avancha, Anu...
FAST
2009
14 years 7 months ago
A Formal Model of Provenance in Distributed Systems
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
Issam Souilah, Adrian Francalanza, Vladimiro Sasso...
HCI
2009
14 years 7 months ago
Incorporating Cognitive Aspects in Digital Human Modeling
To build software which, at the press of a button, can tell you what cognition related hazards there are within an environment or a task, is probably well into the future if it is ...
Peter Thorvald, Dan Högberg, Keith Case
UC
2005
Springer
15 years 3 months ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
ICCSA
2004
Springer
15 years 3 months ago
Advanced Simulation Technique for Modeling Multiphase Fluid Flow in Porous Media
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...
Jong G. Kim, Hyoung-Woo Park