Sciweavers

2328 search results - page 156 / 466
» Component Frameworks - A Case Study
Sort
View
ESOP
2012
Springer
14 years 2 months 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
16 years 18 days 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»
16 years 1 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»
16 years 27 days 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
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
16 years 23 days 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...