5090 search results - page 423 / 1018 » Constructing Strategies for Programming |
172
click to vote
CP
2003
Springer
16 years 2 days ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
152
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
163
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
185
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
177
click to vote
APLAS
2003
ACM
16 years 2 days ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...