708 search results - page 38 / 142 » Support for Informal Information Use and its Formalization i... |
SWAP
2007
13 years 10 months ago
2007
Abstract. Recent research showed the benefits of adopting formal ontologies as a means for accessing heterogeneous data sources. The use of an ontology not only provides a uniform...
FAC
2000
13 years 8 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
CAD
2000
Springer
13 years 8 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...