2501 search results - page 296 / 501 » Logics with Rank Operators |
163
click to vote
TPHOL
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
166
click to vote
DSN
2008
IEEE
16 years 15 days ago
2008
IEEE
In this work, we characterize a significant source of software derating that we call instruction-level derating. Instruction-level derating encompasses the mechanisms by which co...
155
click to vote
IEEEARES
2008
IEEE
16 years 14 days ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
166
click to vote
IOLTS
2008
IEEE
16 years 14 days ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
171
Voted
ECBS
2007
IEEE
16 years 11 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....