4636 search results - page 813 / 928 » Modelling and Validation with VipTool |
COLT
2000
Springer
14 years 20 days ago
2000
Springer
In the present paper, we present the theoretical basis, as well as an empirical validation, of a protocol designed to obtain effective VC dimension estimations in the case of a si...
APN
1995
Springer
14 years 19 days ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
GIS
1995
ACM
14 years 19 days ago
1995
ACM
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
ASPLOS
1991
ACM
14 years 18 days ago
1991
ACM
Blocking is a well-known optimization technique for improving the effectiveness of memory hierarchies. Instead of operating on entire rows or columns of an array, blocked algorith...
AOSD
2009
ACM
14 years 14 days ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...