9405 search results - page 420 / 1881 » Computing a Model of Set Theory |
175
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
160
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
This workshop is aimed at describing the elusive creative process: addressing models and of creative practice, from art to craft, from dance to education. In particular, we wish t...
162
click to vote
EDOC
2006
IEEE
16 years 27 days ago
2006
IEEE
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
204
click to vote
PEWASUN
2004
ACM
16 years 8 days ago
2004
ACM
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
192
Voted
ASM
2003
ASM
16 years 2 days ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...