2702 search results - page 253 / 541 » Practically Applicable Formal Methods |
100
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract-- UWB and 802.11n have both been touted as technologies for next generation wireless networks. UWB exploiting a large bandwidth, and 802.11n utilizing MIMO, demonstrate hi...
139
click to vote
CISC
2008
Springer
15 years 4 months ago
2008
Springer
One of the important applications of digital signature is anonymous credential or pseudonym system. In these scenarios, it is essential that the identity of the signer is kept secr...
125
click to vote
AICOM
2005
15 years 2 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
131
click to vote
FIW
2009
15 years 7 days ago
2009
The security of software applications is an important domain, and one that mixes formalisms (e.g. when dealing with cryptography and security protocols) with very ad hoc, low level...
164
click to vote
IS
2012
13 years 10 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...