4917 search results - page 247 / 984 » Software Engineering is Not Computer Science |
85
Voted
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
We utilize application trends analysis, focused on webpage content, in order to examine the design of mobile computers more holistically. We find that both Internet bandwidth and ...
113
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
157
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
125
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
125
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...