1246 search results - page 99 / 250 » Online testing with model programs |
139
Voted
IFIP
1993
Springer
15 years 4 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...
155
click to vote
IFIP
2010
Springer
14 years 7 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...
PPOPP
2009
ACM
16 years 1 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...
135
click to vote
PPSN
2010
Springer
14 years 10 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...
COR
2008
15 years 27 days 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...