1362 search results - page 98 / 273 » Model Checking Large Network Protocol Implementations |
158
Voted
WOA
2010
15 years 1 months ago
2010
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...
145
Voted
PEWASUN
2004
ACM
15 years 9 months ago
2004
ACM
Interferences in an ad-hoc network can be defined as a set of constraints that specify which groups of nodes cannot transmit simultaneously, and they have significant implications...
150
Voted
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
142
Voted
INTERNET
2006
15 years 3 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
149
Voted
ICICS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. For the application of large-scale mobile agents in a distributed environment, where a large number of computers are connected together to enable the large-scale sharing ...