3435 search results - page 354 / 687 » Aspect Model Unweaving |
201
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
Simulations of complex scientific phenomena involve the execution of massively parallel computer programs. These simulation programs generate large-scale multidimensional data set...
197
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In the past five years there has been tremendous activity in rolebased access control (RBAC) models. Consensus has been achieved on a standard core RBAC model that is in ...
197
click to vote
DEBU
2007
15 years 6 months ago
2007
An indexing model is the heart of an Information Retrieval (IR) system. Data structures such as term based inverted indices have proved to be very effective for IR using vector sp...
197
click to vote
SOFSEM
2007
Springer
16 years 25 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
191
click to vote
IEEESCC
2005
IEEE
16 years 9 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...