29082 search results - page 402 / 5817 » The Time-Triggered Model of Computation |
203
click to vote
PODS
2002
ACM
16 years 7 months ago
2002
ACM
We introduce and investigate a distributed computation model for querying the Web. Web queries are computed by interacting automata running at different nodes in the Web. The auto...
178
click to vote
GSEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper outlines an original Computational Grid deployment protocol which is entirely based on Java, leveraging the portability of this language for distributing custo...
222
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
158
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
133
click to vote
MSE
2000
IEEE
15 years 11 months ago
2000
IEEE
More than a decade after its invention, Mark Weiser’s vision of ubiquitous computing finally seems to spark many research activities world wide. This article reviews the ideas b...