4917 search results - page 345 / 984 » Software Engineering is Not Computer Science |
164
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriï¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiï¬...
138
Voted
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Hard disks contain data—frequently an irreplaceable asset of high monetary and non-monetary value. At the same time, hard disks are mechanical devices that consume power, are no...
158
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
121
click to vote
PDC
2004
ACM
15 years 9 months ago
2004
ACM
One of the major problems with participatory design is that it is extremely difficult to apply it to current developments. Software development for the mass market is one aspect o...
160
click to vote
ERSHOV
2009
Springer
15 years 1 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...