1179 search results - page 136 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
144
Voted
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...
253
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
129
click to vote
IH
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Currently knownbasic anonymitytechniques dependon identity veri cation. If veri cation of user identities is not possible due to the related management overhead or a gene...
158
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
143
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...