2413 search results - page 275 / 483 » Models for universal usability |
102
click to vote
METRICS
2005
IEEE
15 years 6 months ago
2005
IEEE
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
99
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
108
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Invertebrate nervous systems serve as important models for neuroscience research because they are comprised of relatively small numbers of individually identified neurons...
120
Voted
PKDD
2005
Springer
15 years 6 months ago
2005
Springer
In applications such as fraud and intrusion detection, it is of great interest to measure the evolving trends in the data. We consider the problem of quantifying changes between tw...
100
Voted
ASM
2004
ASM
15 years 6 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...