1121 search results - page 132 / 225 » Logics of Complementarity in Information Systems |
INFORMS
1998
13 years 8 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
RR
2010
Springer
13 years 7 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
SOFTVIS
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...