2206 search results - page 30 / 442 » Software Engineering and Modeling Education: Problems and So... |
146
click to vote
KBSE
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
156
click to vote
SIGCSE
2008
ACM
15 years 5 months ago
2008
ACM
While the demand for college graduates with computing skills continues to rise, such skills no longer equate to mere programming skills. Modern day computing jobs demand design, c...
138
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Interoperability usually refers to software system communication. Although there is no widely accepted definition, and therefore no common understanding of the context, there are m...
148
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
Engineering problem solving requires both domain knowledge and an understanding of how to apply that knowledge. While much of the recent work in qualitative physics has focused on...
139
click to vote
ENDM
2010
15 years 3 months ago
2010
In this paper, we are interested in the recourse problem of the 2-stage robust location transportation problem. We propose a solution process using a mixed-integer formulation wit...