Sciweavers

2328 search results - page 156 / 466
» Component Frameworks - A Case Study
Sort
View
ESOP
2012
Springer
14 years 19 days ago
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho,...
IFIP
2007
Springer
15 years 11 months ago
Coordinating the Service Process of Two Business Units towards a Joint Customer
The paper presents a new theoretical framework for coordinating an inter-unit collaborative service process towards a joint customer. The common service process is itself presente...
Rita Lavikka, Riitta Smeds, Miia Jaatinen, Emmi Va...
CHES
2009
Springer
150views Cryptology» more  CHES 2009»
15 years 11 months ago
A Design Flow and Evaluation Framework for DPA-Resistant Instruction Set Extensions
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
Francesco Regazzoni, Alessandro Cevrero, Fran&cced...
ICDE
2008
IEEE
113views Database» more  ICDE 2008»
15 years 11 months ago
A rank-rewrite framework for summarizing XML documents
Abstract— With XML becoming a standard for data representation and exchange, we can expect to see large scale repositories and warehouses of XML data. In order for users to under...
Maya Ramanath, Kondreddi Sarath Kumar
143
Voted
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
15 years 11 months ago
A Visualization Framework for Task-Oriented Modeling Using UML
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
Christian F. J. Lange, Martijn A. M. Wijns, Michel...