559 search results - page 70 / 112 » On Computing the Canonical Features of Software Systems |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
SAC
2011
ACM
14 years 17 days ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...
SIGCSE
1998
ACM
15 years 2 months ago
1998
ACM
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...
DAC
2006
ACM
15 years 1 months ago
2006
ACM
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...