1246 search results - page 99 / 250 » Online testing with model programs |
163
Voted
IFIP
1993
Springer
15 years 7 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
182
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
103
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
164
Voted
PPSN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
114
Voted
COR
2008
15 years 3 months ago
2008
Investment in landscapes to achieve outcomes that have multiple environmental benefits has become a major priority in many countries. This gives rise to opportunities for mathemat...