Sciweavers

4041 search results - page 232 / 809
» A Model of Creative Understanding
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 5 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
MICRO
2010
IEEE
173views Hardware» more  MICRO 2010»
15 years 5 months ago
Single-Chip Heterogeneous Computing: Does the Future Include Custom Logic, FPGAs, and GPGPUs?
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...
Eric S. Chung, Peter A. Milder, James C. Hoe, Ken ...

Publication
308views
17 years 6 months ago
Measures for Classification and Detection in Steganalysis
Still and multi-media images are subject to transformations for compression, steganographic embedding and digital watermarking. In a major program of activities we are engaged in t...
Sujit Gujar, C E Veni Madhavan
CONTEXT
2007
Springer
16 years 1 months ago
An Operational Definition of Context
The definition of context experienced an evolution in the research area of context-aware computing, but still suffers from either generality or incompleteness. Furthermore, many de...
Andreas Zimmermann, Andreas Lorenz, Reinhard Opper...
APLAS
2003
ACM
16 years 9 days ago
Observing Asymmetry and Mismatch
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
Xiaoju Dong, Yuxi Fu