15840 search results - page 2557 / 3168 » The Control of Synchronous Systems |
209
click to vote
SAINT
2003
IEEE
16 years 21 days ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
215
click to vote
STEP
2003
IEEE
16 years 21 days ago
2003
IEEE
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...
161
click to vote
JCDL
2003
ACM
16 years 20 days ago
2003
ACM
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...
183
click to vote
ACNS
2003
Springer
16 years 20 days ago
2003
Springer
This paper proposes a browser spoofing attack which can break the weakest link from the server to user, i.e., man-computerinterface, and hence defeat the whole security system of ...
206
click to vote
CAV
2003
Springer
16 years 20 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...