1670 search results - page 145 / 334 » On Skolemization in constructive theories |
176
click to vote
SIGSOFT
2006
ACM
16 years 13 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
157
click to vote
ATAL
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
179
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
255
click to vote
SEAAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
149
click to vote
RANDOM
1997
Springer
15 years 10 months ago
1997
Springer
Most research on resource-bounded measure and randomness has focused on the uniform probability density, or Lebesgue measure, on {0, 1}∞ ; the study of resource-bounded measure ...