39 search results - page 7 / 8 » A Unified Approach to Intra-domain Security |
ENTCS
2007
13 years 8 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
ACSAC
1999
IEEE
14 years 23 days ago
1999
IEEE
Recently, research has focused on enabling fair exchange between payment and electronically shipped items. The reason for this is the growing importance of Electronic Commerce and...
AGENTS
2001
Springer
14 years 29 days ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
ISI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Iterations are time-boxed periods with an intended outcome that is often a set of implemented requirements. Iterations are part of most common software development lifecycle model...