2858 search results - page 352 / 572 » Logics with Aggregate Operators |
178
click to vote
DSN
2008
IEEE
16 years 1 months 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...
166
click to vote
IEEEARES
2008
IEEE
16 years 28 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...
179
click to vote
IOLTS
2008
IEEE
16 years 28 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...
182
click to vote
ECBS
2007
IEEE
16 years 26 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....
138
click to vote
FUZZIEEE
2007
IEEE
16 years 26 days ago
2007
IEEE
— Humans can control MIMO (Multiple-Input Multiple-Output) objects appropriately using knowledge of the MIMO object, which can be referred to as human MIMO control knowledge. An ...