3069 search results - page 61 / 614 » Issues with the construct of quality |
FOSSACS
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
ICHIM
2001
15 years 12 days ago
2001
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
Real-time Collaborative Software Engineering (CSE) tools have many perceived benefits including increased programmer communication and faster resolution of development conflicts...
CAV
2005
Springer
15 years 4 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
PET
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Golle et al recently introduced universal re-encryption, defining it as re-encryption by a player who does not know the key used for the original encryption, but which s...