74 search results - page 7 / 15 » A simpler model of software readability |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
EWSN
2008
Springer
14 years 7 months ago
2008
Springer
Wireless Sensor Networks (WSNs) are increasingly being proposed in scenarios whose requirements cannot be fully predicted, or where the system functionality must adapt to changing ...
MASCOTS
1997
13 years 9 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
—Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like English and Tamil, by masters like Shakespeare and Avvaiya...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...