1669 search results - page 216 / 334 » Structured Specification of Model Interpreters |
89
Voted
WCE
2007
15 years 4 months ago
2007
—Developed initially on the basis of electronic technology, the researches in the field of reliability have proved their generality, so they can be applied to any technical syste...
105
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
119
Voted
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
This paper introduces a new generalisation of the familiar scale-space and wavelet representations, designed specifically to deal with the complexities of representing motions ind...
98
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract: This paper considers the problem of cooperative power control in distributed small cell wireless networks. We introduce a novel framework, based on repeated games, which ...
143
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
Active Network technology envisions deployment of virtual execution environments within network elements, such as switches and routers. As a result, nonhomogeneous processing can ...