14244 search results - page 512 / 2849 » Modeling Program Predictability |
152
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
149
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
114
click to vote
CONSTRAINTS
2004
15 years 4 months ago
2004
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
123
Voted
CSL
2007
Springer
15 years 11 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
134
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...