198 search results - page 40 / 40 » Modal Proofs as Distributed Programs (Extended Abstract) |
101
Voted
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
89
Voted
COCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract--We study the 2-party randomized communication complexity of read-once AC0 formulae. For balanced AND-OR trees T with n inputs and depth d, we show that the communication ...
COMPUTER
2002
14 years 12 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...