4257 search results - page 327 / 852 » The Logical Modularity of Programs |
154
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
177
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...
205
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
187
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
139
click to vote
TSE
1998
15 years 6 months ago
1998
—Masking fault-tolerance guarantees that programs continually satisfy their specification in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guara...