1796 search results - page 353 / 360 » An Approach to Compositional Model Checking |
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Providing real-time multimedia services over a best-effort network is challenging due to the stringent delay requirements in the presence of complex network dynamics. Multiple des...
NDSS
2008
IEEE
14 years 2 months ago
2008
IEEE
We study the problem of reliably searching for resources in untrusted peer-to-peer networks, where a significant portion of the participating network nodes may act maliciously to...
CBSE
2004
Springer
14 years 1 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
Large-scale database integration requires a significant cost in developing a global schema and finding mappings between the global and local schemas. Developing the global schema r...
ACISP
2003
Springer
13 years 11 months ago
2003
Springer
In some practical circumstances, the ability of a signer should be restricted. In group signature schemes, a group member may be allowed to generate signatures up to a certain numb...