2413 search results - page 275 / 483 » Models for universal usability |
173
click to vote
METRICS
2005
IEEE
16 years 5 days 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...
171
click to vote
FM
2005
Springer
16 years 4 days 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...
172
click to vote
ICCS
2005
Springer
16 years 3 days 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...
180
Voted
PKDD
2005
Springer
16 years 2 days 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...
164
Voted
ASM
2004
ASM
16 years 7 hour 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 ...