9405 search results - page 1527 / 1881 » Computing a Model of Set Theory |
177
click to vote
GCC
2005
Springer
16 years 6 days ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
176
click to vote
CSCLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
152
click to vote
APN
2004
Springer
16 years 3 days ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
162
click to vote
CSL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
151
click to vote
EUROCRYPT
2004
Springer
16 years 2 days ago
2004
Springer
An aggregate signature scheme (recently proposed by Boneh, Gentry, Lynn, and Shacham) is a method for combining n signatures from n different signers on n different messages int...