4917 search results - page 161 / 984 » Software Engineering is Not Computer Science |
115
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
100
Voted
JVM
2001
15 years 4 months ago
2001
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
99
Voted
SAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
105
Voted
ITICSE
2006
ACM
15 years 8 months ago
2006
ACM
Computer graphics concepts have a high visual component. For that reason, teaching this subject should be enriched with the use of small applications showing concepts like near an...
115
Voted
WEBI
2004
Springer
15 years 8 months ago
2004
Springer
The number of documents that are indexed by a search engine is referred to as the size of the search engine. The information about the size of each underlying search engine is ess...