3922 search results - page 315 / 785 » The IA-64 Architecture at Work |
173
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...
168
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
177
click to vote
USITS
2003
15 years 8 months ago
2003
Mayday is an architecture that combines overlay networks with lightweight packet filtering to defend against denial of service attacks. The overlay nodes perform client authentic...
215
click to vote
ADBIS
2010
Springer
15 years 7 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
179
click to vote
CCR
2006
15 years 6 months ago
2006
Medium access control for wireless sensor networks has been a very active research area for the past couple of years. The sensor networks literature presents an alphabet soup of m...