This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
The use of X-ray CT images for CT-based attenuation correction (CTAC) of PET data results in the decrease of overall scanning time and creates a noise-free attenuation map (μmap)...
Maryam Shirmohammad, Mohammad Reza Ay, Saeed Sarka...
Power consumption and power density for the Translation Lookaside Buffer (TLB) are important considerations not only in its design, but can have a consequence on cache design as w...
Ismail Kadayif, Anand Sivasubramaniam, Mahmut T. K...
Although the archive of text generated by a persistent conversation (i.e. newsgroup, mailing list, recorded chat, etc.) is searchable, it is not very expressive of the underlying ...
Judith S. Donath, Karrie Karahalios, Fernanda B. V...