1999 search results - page 201 / 400 » Dependently Typed Grammars |
167
click to vote
ISESE
2006
IEEE
16 years 15 days ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
175
click to vote
PRDC
2006
IEEE
16 years 15 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
168
click to vote
MSWIM
2006
ACM
16 years 13 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
152
click to vote
ACSC
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
164
click to vote
ISCAS
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...