69 search results - page 9 / 14 » A Qualitative Formalization of Built Environments |
98
Voted
GRID
2003
Springer
15 years 5 months ago
2003
Springer
Resource discovery and monitoring in a distributed Grid environment gives rise to several issues, one of which is the provision of reliable performance and hence, the quality-ofse...
129
Voted
BMCBI
2007
15 years 14 days ago
2007
Background: This work explores the quantitative characteristics of the local transcriptional regulatory network based on the availability of time dependent gene expression data se...
103
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Dynamic replication algorithms aim at allocating, migrating and deleting copies of an object over various Internet hosts, according to the access patterns exhibited online, so as ...
96
Voted
IJCAI
2003
15 years 1 months ago
2003
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL al...
108
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...