Sciweavers

11345 search results - page 99 / 2269
» Foundations of Computer Science
Sort
View
SIGMOD
2010
ACM
109views Database» more  SIGMOD 2010»
13 years 5 months ago
Towards a computational transportation science
Stephan Winter, Monika Sester, Ouri Wolfson, Glenn...
ECOOPW
1994
Springer
14 years 2 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler
JOC
2000
95views more  JOC 2000»
13 years 10 months ago
Player Simulation and General Adversary Structures in Perfect Multiparty Computation
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...
Martin Hirt, Ueli M. Maurer
LOGCOM
2006
98views more  LOGCOM 2006»
13 years 10 months ago
Computability in Specification
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
Raymond Turner