4305 search results - page 461 / 861 » Analysing Protocol Implementations |
175
click to vote
ERLANG
2003
ACM
16 years 1 days ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
246
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
177
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We advocate a network on silicon (NOS) as a hardware architecture to implement communication between IP cores in future technologies, and as a software model in the form of a prot...
169
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Event schedulers, well-known from groupware and social software, typically share the problem that they disclose detailed availability patterns of their users. This paper disting...
169
click to vote
MA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we propose a global tracking service for mobile agents, which is scalable to the Internet and accounts for security issues as well as the particularities of mobile a...