2935 search results - page 203 / 587 » An Integrated Approach to High Integrity Software Verificati... |
189
click to vote
SEW
2005
IEEE
16 years 5 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
227
click to vote
SPLC
2007
15 years 7 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
133
click to vote
CASCON
2006
15 years 8 months ago
2006
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
163
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
Multimodal conversational dialogue systems consisting of numerous software components create challenges for the underlying software architecture and development practices. Typical...
236
click to vote
CAI
2002
Springer
15 years 6 months ago
2002
Springer
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...