1163 search results - page 218 / 233 » Case Studies of Model Checking for Embedded System Designs |
116
click to vote
KDD
2007
ACM
16 years 3 days ago
2007
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
112
click to vote
WWW
2005
ACM
16 years 11 days ago
2005
ACM
Design of high performance Web servers has become a recent research thrust to meet the increasing demand of networkbased services. In this paper, we propose a new Web server archi...
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
With the prevalence of server blades and systems-ona-chip (SoCs), interconnection networks are becoming an important part of the microprocessor landscape. However, there is limite...
TSE
2002
14 years 11 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...