1438 search results - page 70 / 288 » An Expressive Extension of TLC |
87
Voted
OWLED
2007
15 years 2 months ago
2007
Ontologies enable explicit expression of collective concepts and support Machine-to-Machine (M2M) interactions at the semantic level. Ontologies expressed in a standard language, s...
121
click to vote
PR
2006
15 years 18 days ago
2006
Gene expression microarray is a rapidly maturing technology that provides the opportunity to assay the expression levels of thousands or tens of thousands of genes in a single exp...
123
Voted
CI
2004
15 years 16 days ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
120
Voted
CADE
2003
Springer
16 years 1 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
108
click to vote
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a companion solution to iSCSI that is more suited for virtualization of local computer bus architectures, such as PCI/PCI-X and PCI Express. We explore the architecture ...