8828 search results - page 300 / 1766 » Formal methods in practice |
150
click to vote
ISIPTA
2003
IEEE
15 years 12 months ago
2003
IEEE
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...
195
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
138
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
The Range Minimum Query (RMQ) Problem is to preprocess an array A of length n in O(n) time such that subsequent on-line queries asking for the position of a minimal element between...
158
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
CT This paper presents results from a study examining perceptions and practices of usability in the free/open source software (FOSS) community. 27 individuals associated with 11 di...
181
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
A well-known problem in P2P systems is freeriding, where users do not share content if there is no incentive to do so. In this paper, we distinguish lazy freeriders that are merel...