21 search results - page 2 / 5 » CZT: A Framework for Z Tools |
TCAD
2010
13 years 22 hour ago
2010
Clock mesh networks are well known for their variation tolerance. But their usage is limited to high-end designs due to the significantly high resource requirements compared to clo...
GRID
2006
Springer
13 years 5 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...
ICFEM
2009
Springer
13 years 12 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
LOGCOM
2008
13 years 5 months ago
2008
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
ISCIS
2003
Springer
13 years 10 months ago
2003
Springer
In this paper, a comprehensive e-tutoring service framework is presented. It compromises a set of individual applications implemented based on the use of existing open source tools...