3809 search results - page 401 / 762 » Associative language descriptions |
197
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
217
click to vote
ESWS
2006
Springer
15 years 11 months ago
2006
Springer
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...
196
Voted
ICDT
1995
ACM
15 years 11 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
218
Voted
IJISEC
2007
15 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
206
click to vote
PLDI
2003
ACM
16 years 25 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...