4211 search results - page 236 / 843 » A formal approach to MASQ |
130
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper reports on an approach which maps documents onto an ontology-based information space in order to provide support for machine-mediated communication. First, a composite ...
166
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
160
click to vote
ICTAC
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
152
click to vote
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
173
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...