Sciweavers

2152 search results - page 10 / 431
» An Abstract Account of Composition
Sort
View
78
Voted
FORTE
2004
14 years 11 months ago
A Logical Account of NGSCB
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
Martín Abadi, Ted Wobber
IFIP
2010
Springer
15 years 1 months ago
Processing of Flow Accounting Data in Java: Framework Design and Performance Evaluation
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into trac behavior and network characteristics. However, processing of Flow Ac...
Jochen Kögel, Sebastian Scholz
83
Voted
INLG
2010
Springer
14 years 7 months ago
'If you've heard it, you can say it' - Towards an Account of Expressibility
We have begun a project to automatically create the lexico-syntactic resources for a microplanner as a side-effect of running a domain-specific language understanding system. The ...
David McDonald, Charlie Greenbacker
67
Voted
TIM
2010
103views Education» more  TIM 2010»
14 years 4 months ago
Analysis of Power Switching Losses Accounting Probe Modeling
Abstract--This paper focuses on the errors affecting the estimation of power switching losses in power semiconductor devices based on integration of the voltage by current product....
Kaiçar Ammous, Hervé Morel, Anis Amm...