15792 search results - page 159 / 3159 » Computational Abstraction Steps |
280
click to vote
ACS
2011
15 years 17 days ago
2011
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin t...
187
click to vote
EWSN
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. The accuracy of link-quality estimators (LQE) is missioncritical in many application scenarios in wireless sensor networks (WSN), since the link-quality metric is used fo...
150
click to vote
CASC
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
145
click to vote
SAS
2007
Springer
16 years 4 days ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
170
click to vote
ASM
2003
ASM
15 years 11 months 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...