103 search results - page 3 / 21 » Extensionality Versus Constructivity |
TCS
2008
13 years 10 months ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
POPL
2005
ACM
14 years 11 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
COCO
2005
Springer
14 years 4 months ago
2005
Springer
A property tester with high probability accepts inputs satisfying a given property and rejects inputs that are far from satisfying it. A tolerant property tester, as defined by P...