4917 search results - page 275 / 984 » Software Engineering is Not Computer Science |
111
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen...
127
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
152
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Stroke is the second most common cause of death and major cause of disability worldwide. Approx. 20% of cerebral strokes are caused by hemorrhages due to rupture of cereb...
110
Voted
IUI
2003
ACM
15 years 8 months ago
2003
ACM
World Wide Web search engines typically return thousands of results to the users. To avoid users browsing through the whole list of results, search engines use ranking algorithms ...
120
Voted
JCDL
2006
ACM
15 years 9 months ago
2006
ACM
The implications of using digital library software in educational contexts, for both the students and the software developers, are discussed in the light of two case studies of co...