9626 search results - page 1496 / 1926 » Invariant Based Programming |
193
click to vote
HM
2007
Springer
15 years 10 months ago
2007
Springer
Optimization in sports is a field of increasing interest. A novel problem in sports management is the Referee Assignment Problem, in which a limited number of referees with differe...
190
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
: Wide area network (WAN) -based distributed computing (DC) has become an active field of research, especially under the label of grid computing. On the other hand, research on WAN...
207
click to vote
CASSIS
2004
Springer
15 years 10 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
206
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Usually software is maintained by people different from those who developed it. In this context the maintenance activities are dominated by the comprehension effort. The study of ...
181
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...