4476 search results - page 486 / 896 » Modeling software architectures in the Unified Modeling Lang... |
192
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
219
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
271
click to vote
HPCA
2002
IEEE
16 years 8 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
189
click to vote
IUI
2009
ACM
16 years 4 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
224
click to vote
COMPSAC
2002
IEEE
16 years 17 days ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...