5353 search results - page 294 / 1071 » Modelling Contexts in the Or-BAC Model |
187
click to vote
SOFSEM
2005
Springer
16 years 28 days ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
197
click to vote
ICVS
2003
Springer
16 years 19 days ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
188
Voted
DATE
2002
IEEE
16 years 12 days ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
180
Voted
VL
2002
IEEE
16 years 10 days ago
2002
IEEE
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
187
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...