268 search results - page 33 / 54 » Expressive Power of Grammatical Formalisms |
170
click to vote
LICS
2008
IEEE
16 years 20 hour ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
160
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
146
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
133
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
165
click to vote
DLOG
2007
15 years 8 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...