7623 search results - page 449 / 1525 » Constructive Volume Modeling |
177
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
153
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
164
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
171
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
179
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...