837 search results - page 142 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Motivated by the fact that XML is increasingly being used in distributed applications, we propose building a cooperative caching scheme for XML documents. Our scheme allows sharin...
NAACL
1994
13 years 9 months ago
1994
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...