Sciweavers

517 search results - page 60 / 104
» Translation in XBRL standardization
Sort
View
RCC
2002
104views more  RCC 2002»
13 years 7 months ago
Architectural Specification, Exploration and Simulation Through Rewriting-Logic
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
Mauricio Ayala-Rincón, Reiner W. Hartenstei...
MTA
2007
83views more  MTA 2007»
13 years 7 months ago
A study on multimedia documents behavior: a notion of equivalence
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
Paola Bertolotti, Ombretta Gaggi
TOG
2008
120views more  TOG 2008»
13 years 7 months ago
Shading-based surface editing
We present a system for free-form surface modeling that allows a user to modify a shape by changing its rendered, shaded image using stroke-based drawing tools. User input is tran...
Yotam I. Gingold, Denis Zorin
MAGS
2010
116views more  MAGS 2010»
13 years 6 months ago
Comparing goal-oriented and procedural service orchestration
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
M. Birna van Riemsdijk, Martin Wirsing
TOSEM
2010
95views more  TOSEM 2010»
13 years 6 months ago
Supporting dynamic aspect-oriented features
Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to eciently support dynamic AO features. We demonstrate these benets...
Robert Dyer, Hridesh Rajan