4126 search results - page 628 / 826 » Relationships with other Formalisms |
166
click to vote
APSEC
2005
IEEE
16 years 3 days ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
180
click to vote
ASYNC
2005
IEEE
16 years 3 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
145
click to vote
COLCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
—Peer-to-Peer file sharing applications in the Internet, such as BitTorrent, Gnutella, etc., have been immensely popular. Prior research mainly focuses on peer and content discov...
210
click to vote
CSFW
2005
IEEE
16 years 3 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
131
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...