2206 search results - page 22 / 442 » Software Engineering and Modeling Education: Problems and So... |
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
107
Voted
SIGITE
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
117
click to vote
RE
2002
Springer
15 years 21 days ago
2002
Springer
Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, inste...
93
Voted
ICN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...