6016 search results - page 1006 / 1204 » The semantics of graphical languages |
149
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
185
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
176
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
162
click to vote
MOMPES
2008
IEEE
16 years 1 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
162
click to vote
SEMCO
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. W...