6174 search results - page 370 / 1235 » The language of social software |
188
Voted
UPP
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
213
click to vote
SIGSOFT
1996
ACM
15 years 12 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
162
Voted
LREC
2010
15 years 9 months ago
2010
Linguistic Data Consortium (LDC) at the University of Pennsylvania has participated as a data provider in a variety of governmentsponsored programs that support development of Hum...
223
Voted
SOPR
2002
15 years 7 months ago
2002
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
232
Voted
PE
2010
Springer
15 years 2 months ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...