Sciweavers

8083 search results - page 1501 / 1617
» A Formalization of Software Architecture
Sort
View
JAL
2008
89views more  JAL 2008»
15 years 6 months ago
Experimenting with parallelism for the instantiation of ASP programs
Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...
Francesco Calimeri, Simona Perri, Francesco Ricca
JWSR
2006
168views more  JWSR 2006»
15 years 6 months ago
Facilitating the Specification of Semantic Web Services Using Model-Driven Development
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
Gerald C. Gannod, John T. E. Timm, Raynette J. Bro...
ERCIM
2007
124views more  ERCIM 2007»
15 years 6 months ago
Cancer Treatment Planning with Grid-Based Technology
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...
Robert G. Belleman, Michael Scarpa, Bram Stolk
MTA
2006
115views more  MTA 2006»
15 years 6 months ago
Cache modeling and optimization for portable devices running MPEG-4 video decoder
Abstract There are increasing demands on portable communication devices to run multimedia applications. ISO (an International Organization for Standardization) standard MPEG-4 is a...
Abu Asaduzzaman, Imad Mahgoub
IJNSEC
2007
194views more  IJNSEC 2007»
15 years 6 months ago
Covert Channel Forensics on the Internet: Issues, Approaches, and Experiences
The exponential growth of the Internet (WWW in particular) has opened-up several avenues for covert channel communication. Steganographic communication is one such avenue. Hiding ...
Ashish Patel, M. Shah, Rajarathnam Chandramouli, K...
« Prev « First page 1501 / 1617 Last » Next »