151 search results - page 29 / 31 » Model-Driven Protocol Design Based on Component Oriented Mod... |
SRDS
2007
IEEE
15 years 5 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
123
Voted
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
MASCOTS
2001
15 years 1 months ago
2001
While there are different research groups in the mobile computing community, most research requires mobile action data in terms of user calling and mobility patterns. Since collec...
124
click to vote
WWW
2008
ACM
16 years 8 days ago
2008
ACM
Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresent...
107
Voted
TPHOL
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...