4737 search results - page 640 / 948 » The LOGIC negotiation model |
176
Voted
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
184
Voted
ISLPED
2004
ACM
16 years 27 days ago
2004
ACM
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...
226
click to vote
BIRTHDAY
2003
Springer
16 years 21 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
218
click to vote
INFSOF
2007
15 years 7 months ago
2007
Due to the principal role of Data warehouses (DW) in making strategy decisions, data warehouse quality is crucial for organizations. Therefore, we should use methods, models, tech...
250
click to vote
INTERNET
2002
15 years 7 months ago
2002
of abstractions a middleware system makes available to applications, they figure prominently in determining the breadth and variety of application integration that the middleware s...