15777 search results - page 2763 / 3156 » Engineering in Software |
177
click to vote
CGO
2005
IEEE
16 years 16 days ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...
149
click to vote
COMPSAC
2005
IEEE
16 years 15 days ago
2005
IEEE
— Over the past several years, the UK Government has piloted several new voting technologies during local authority elections. The mCESG pollsterless Remote Electronic Voting (RE...
183
click to vote
VMCAI
2005
Springer
16 years 11 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
207
click to vote
IUI
2004
ACM
16 years 10 days ago
2004
ACM
The WALK mode is one of the most common navigation interfaces for 3D virtual environments. However, due to the limited view angle and low frame rate, users are often blocked by ob...
189
click to vote
CISIS
2010
IEEE
16 years 6 days ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...