4211 search results - page 168 / 843 » A formal approach to MASQ |
150
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
164
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
164
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
The concept of retargetability enables compiler technology to keep pace with the increasing variety of domain-speci c embedded processors. In order to achieve user retargetability,...
159
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
187
click to vote
CLA
2007
15 years 8 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...