Sciweavers

61 search results - page 3 / 13
» A Framework to Specify Declarative Rules on Objects, Attribu...
Sort
View
ACL
1998
13 years 7 months ago
A Framework for Customizable Generation of Hypertext Presentations
In this paper, we present a framework, PRESENTOR, for the development and customization of hypertext presentation generators. PRESENTOR offers intuitive and powerful declarative l...
Benoit Lavoie, Owen Rambow
SCAM
2002
IEEE
13 years 11 months ago
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
Peter Bunus, Peter Fritzson
JOT
2006
105views more  JOT 2006»
13 years 6 months ago
Improving the Use of Multiplicity in UML Association
Through the incorporation of derived classes and associations in class diagrams, this paper proposes a method to improve the specification power of multiplicity for n-ary associat...
Hee Beng Kuan Tan, Yong Yang, Lei Bian
ICDT
2009
ACM
248views Database» more  ICDT 2009»
14 years 7 months ago
Automatic verification of data-centric business processes
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor ...
HUMAN
2003
Springer
13 years 11 months ago
A Framework of Winner Determination Algorithms for Internet Auctions
Auctions have become popular in conducting trade negotiations on the Internet. The design of new auction formats and other negotiation protocols has become an important topic for r...
Juhnyoung Lee, Sang-goo Lee, Suekyung Lee