5451 search results - page 651 / 1091 » Typed Operational Semantics |
179
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
196
click to vote
FDL
2006
IEEE
16 years 24 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
188
click to vote
SACMAT
2006
ACM
16 years 21 days ago
2006
ACM
Delegation of authority is an important process that needs to be captured by any access control model. In role-based access control models, delegation of authority involves delega...
172
Voted
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
Product recommendation and decision support systems must generally develop a model of user preferences by querying or otherwise interacting with a user. Recent approaches to elici...
229
click to vote
AGENTS
1998
Springer
15 years 11 months ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...