2206 search results - page 160 / 442 » Software Engineering and Modeling Education: Problems and So... |
163
click to vote
WSC
2000
15 years 7 months ago
2000
Supply Chain management, the management of the flow of goods or services from materials stage to the end user, is a complex process because of the level of uncertainty at each sta...
182
click to vote
SIGCSE
2006
ACM
16 years 11 days ago
2006
ACM
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...
195
click to vote
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
Large software companies have to plan their project portfolio to maximize potential portfolio return and strategic alignment, while balancing various preferences, and considering ...
160
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
The XWeb project addresses the problem of interacting with services by means of a variety of interactive platforms. Interactive clients are provided on a variety of hardware/softw...
203
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...