6174 search results - page 370 / 1235 » The language of social software |
177
click to vote
UPP
2004
Springer
16 years 7 days 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...
182
click to vote
SIGSOFT
1996
ACM
15 years 11 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 ...
139
click to vote
LREC
2010
15 years 8 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...
192
click to vote
SOPR
2002
15 years 6 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...
204
click to vote
PE
2010
Springer
15 years 1 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...