Sciweavers

620 search results - page 77 / 124
» Tool support for component-based semantics
Sort
View
ASPDAC
2005
ACM
153views Hardware» more  ASPDAC 2005»
15 years 1 months ago
Design of clocked circuits using UML
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
Zhenxin Sun, Weng-Fai Wong, Yongxin Zhu, Santhosh ...
ECEASST
2006
95views more  ECEASST 2006»
14 years 11 months ago
Towards Translating Graph Transformation Approaches by Model Transformations
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
Frank Hermann, Harmen Kastenberg, Tony Modica
DMS
2010
203views Multimedia» more  DMS 2010»
14 years 10 months ago
Recognizing Sketches of Euler Diagrams Drawn with Ellipses
Euler diagrams form the basis of a number of visual languages. However, the existing tool support for creating Euler diagrams is limited to generic diagram editing software that u...
Aidan Delaney, Beryl Plimmer, Gem Stapleton, Peter...
ICSOC
2005
Springer
15 years 5 months ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
CORR
2007
Springer
114views Education» more  CORR 2007»
14 years 11 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...