32032 search results - page 83 / 6407 » Verified programming in Guru |
93
Voted
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
The paper describes an original approach for the ABR service in the ATM network. It belongs to the explicite rate (ER) class and assumes that the ER parameter corresponds to the i...
133
Voted
ECOOP
1993
Springer
15 years 4 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
-- Analog circuit sizing under process/parameter variations is formulated as a mini-max geometric programming problem. To tackle such problem, we present a new method that combines...
108
Voted
FMCO
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
120
click to vote
ICIW
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...