Sciweavers

1069 search results - page 32 / 214
» Automatic Generation of Language-based Tools
Sort
View
METAINFORMATICS
2004
Springer
14 years 3 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
WECWIS
2000
IEEE
138views ECommerce» more  WECWIS 2000»
14 years 2 months ago
DTD-Miner: A Tool for Mining DTD from XML Documents
XML documents are semistructured and the structure of the documents is embedded in the tags. Although XML documents can be accompaniedby a DTD that defines the structure of the d...
Chuang-Hue Moh, Ee-Peng Lim, Wee Keong Ng
ATS
2009
IEEE
99views Hardware» more  ATS 2009»
14 years 4 months ago
Test Generation for Designs with On-Chip Clock Generators
High performance designs often use the on-chip device PLLs for accurate test clock generation during testing. The on-chip clock generator is designed in a programmable way to faci...
Xijiang Lin, Mark Kassab
IBPRIA
2007
Springer
13 years 11 months ago
Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
Pau Baiget, Carles Fernández Tena, F. Xavie...
CCS
2010
ACM
13 years 10 months ago
TASTY: tool for automating secure two-party computations
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
Wilko Henecka, Stefan Kögl, Ahmad-Reza Sadegh...