403 search results - page 18 / 81 » Integrating Z into Large Projects Tools and Techniques |
GRID
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructures for complex resource provisioning in Grid-based collaborativ...
ICCAD
1998
IEEE
15 years 1 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
114
click to vote
CGF
2010
14 years 4 months ago
2010
In this paper, we present an efficient approach for the interactive rendering of large-scale urban models, which can be integrated seamlessly with virtual globe applications. Our ...
BMCBI
2011
14 years 4 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
WSC
1998
14 years 10 months ago
1998
Continuous or high-speed manufacturing equipment is an integral part of the food and beverage, pharmaceutical, and consumer products industries. For many years, these industries h...