846 search results - page 73 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
102
click to vote
IEEESCC
2007
IEEE
15 years 7 months ago
2007
IEEE
A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more other...
140
Voted
CSI
2007
15 years 20 days ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
79
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...
100
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Reversible logic became a promising alternative to traditional circuits because of its applications e.g. in low-power design and quantum computation. As a result, design of revers...
103
Voted
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...