561 search results - page 66 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
147
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
169
click to vote
AICCSA
2006
IEEE
16 years 7 days ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
156
click to vote
WIDM
2004
ACM
15 years 11 months ago
2004
ACM
Maintenance of large Web sites is a complex task, similar in some sense to software maintenance. Content should be separated from the formatting rules, allowing independent develo...
146
click to vote
COMSWARE
2006
IEEE
16 years 7 days ago
2006
IEEE
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
137
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...