4211 search results - page 693 / 843 » A formal approach to MASQ |
168
click to vote
IEEEARES
2008
IEEE
16 years 27 days ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
192
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
157
click to vote
RSP
2008
IEEE
16 years 26 days ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
151
click to vote
SAINT
2008
IEEE
16 years 26 days ago
2008
IEEE
The utility of walking parameters such as stride length, cadence and gait velocity for monitoring motor functions of patients suffering from brain injury, Parkinson’s disease an...
166
click to vote
WISE
2008
Springer
16 years 26 days ago
2008
Springer
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....