78 search results - page 7 / 16 » Toward practical authorization-dependent user obligation sys... |
ZUM
1997
Springer
13 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
CCS
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we propose a conceptual framework for developing a family of models for Group-Centric information sharing. The traditional approach to information sharing, characte...
GIS
2010
ACM
13 years 5 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
ACMDIS
2006
ACM
14 years 1 months ago
2006
ACM
Conceptual design dominates the early stages of most creative design processes. During these stages, the designer makes important decisions about the parameters of a model that ar...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—This paper identifies the possibility of using electronic compasses and accelerometers in mobile phones, as a simple and scalable method of localization without war-dri...