2149 search results - page 216 / 430 » Form over Substance |
188
click to vote
MDM
2007
Springer
16 years 20 days ago
2007
Springer
Smart environments and wearables will make the storage and subsequent sharing of digitized multimedia diaries and meeting protocols – whom we meet, or what we say or do – chea...
182
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
194
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
158
click to vote
CNSR
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— This paper presents a study of our proposed architecture for the setup of a MultiPoint-to-MultiPoint (MP2MP) Label Switched Path (LSP). This form of LSP is needed for e...
188
click to vote
DEXAW
2006
IEEE
16 years 18 days ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...