2685 search results - page 384 / 537 » A Formal Semantics for SPKI |
152
click to vote
FUZZIEEE
2007
IEEE
16 years 25 days ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
179
click to vote
MEMOCODE
2007
IEEE
16 years 23 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
146
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
162
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
170
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...