1833 search results - page 343 / 367 » Mechanized Verification with Sharing |
EEE
2005
IEEE
14 years 4 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
— We consider the problem of scheduling multiple users sharing a time-varying wireless channel. (As an example, this is a model of scheduling in 3G wireless technologies, such as...
IPPS
2005
IEEE
14 years 4 months ago
2005
IEEE
Mobile Peer-to-Peer (MP2P) systems consist of mobile peers that collaborate with each other to complete application problems. Information sharing in such environments is a challen...
ISCC
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract Content Delivery Networks (CDNs) provide an efficient support for serving http and streaming media content while minimizing the network impact of content delivery as well...
MSS
2005
IEEE
14 years 4 months ago
2005
IEEE
Enterprise storage demands have overwhelmed traditional storage mechanisms and have led to the development of Storage Area Networks (SANs). This has resulted in the design of SCSI...