9626 search results - page 436 / 1926 » Invariant Based Programming |
170
click to vote
JCP
2008
15 years 6 months ago
2008
This paper presents a successful lab simulation experience to teach signal modulation and demodulation concepts in communication and computer networks to computer science and compu...
170
click to vote
FMCO
2007
Springer
15 years 10 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...
201
click to vote
ICIW
2007
IEEE
15 years 10 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...
179
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
165
click to vote
FSS
2002
15 years 6 months ago
2002
In this work we study approximation of fuzzy functions on a finite set of distinct points. Two types of approximation are considered, one method based on fuzzy linear programming p...