369 search results - page 71 / 74 » Requirements Engineering for Industrial Systems: No Easy Ans... |
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
INFSOF
2007
13 years 7 months ago
2007
Creating and maintaining software systems is a knowledge intensive task. One needs to have a good understanding of the application domain, the problem to solve and all its require...
HPCA
2011
IEEE
12 years 11 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de�...
GSEM
2004
Springer
14 years 23 days ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
ICWE
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...