17054 search results - page 3027 / 3411 » Logics of Dynamical Systems |
211
click to vote
IWCMC
2006
ACM
16 years 25 days ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...
182
click to vote
ICDCS
2005
IEEE
16 years 15 days ago
2005
IEEE
A pass-through server such as an NFS server backed by an iSCSI[1] storage server only passes data between the storage server and NFS clients. Ideally it should require at most one...
196
click to vote
IEEEPACT
2005
IEEE
16 years 14 days ago
2005
IEEE
VLIW architectures are popular in embedded systems because they offer high-performance processing at low cost and energy. The major problem with traditional VLIW designs is that t...
214
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
206
click to vote
SIGCSE
2005
ACM
16 years 13 days ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...