10916 search results - page 1778 / 2184 » On Constructive Connectives and Systems |
202
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...
230
click to vote
ACMMSP
2006
ACM
16 years 26 days ago
2006
ACM
Most operating systems enforce process isolation through hardware protection mechanisms such as memory segmentation, page mapping, and differentiated user and kernel instructions....
193
click to vote
HASKELL
2006
ACM
16 years 26 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
240
click to vote
CF
2004
ACM
16 years 9 days ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
196
click to vote
GPCE
2004
Springer
16 years 8 days ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...