2519 search results - page 184 / 504 » MASUP: An Agent-Oriented Modeling Process for Information Sy... |
176
click to vote
DBSEC
2006
15 years 8 months ago
2006
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...
156
click to vote
WOTUG
2007
15 years 7 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
166
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We have studied the problem of linking event information across different languages without the use of translation systems or dictionaries. The linking is based on interlingua in...
166
click to vote
JUCS
2006
15 years 6 months ago
2006
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
203
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...