846 search results - page 11 / 170 » The Use of Z |
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
This is a supplementary document for explaining what we could not contain in the main paper. I. BASIC FUNCTIONS AND NOTATIONS In this section, we first define some useful functi...
ZUM
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we use Z to capture the requirements for an ‘intuitive’ menu navigation system as a series of conjectures that should hold. We use those requirements to investiga...
MIDDLEWARE
2009
Springer
14 years 2 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...