3256 search results - page 323 / 652 » Applications of Formal Methods to System Design and Verifica... |
155
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...
178
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Today, embedded processors are expected to be able to run complex, algorithm-heavy applications that were originally designed and coded for general-purpose processors. As a result...
162
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
162
click to vote
EGOV
2005
Springer
16 years 6 days ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...