Sciweavers

723 search results - page 101 / 145
» Exclusion for composite objects
Sort
View
DOCENG
2003
ACM
14 years 2 months ago
Improving formatting documents by coupling formatting systems
In this paper, we present a framework for coupling an existing formatting system such as SMIL [7] and Madeus [13] with a formatting control system XEF [10]. This framework allows ...
Fateh Boulmaiz, Cécile Roisin, Fréd&...
MSE
2002
IEEE
122views Hardware» more  MSE 2002»
14 years 2 months ago
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
Huiqun Yu, Xudong He, Shu Gao, Yi Deng
REFLECTION
2001
Springer
14 years 2 months ago
A Hybrid Approach to Separation of Concerns: The Story of SADES
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
Awais Rashid
SIGSOFT
2000
ACM
14 years 1 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
APSEC
1999
IEEE
14 years 1 months ago
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
Yoonsik Cheon, Heung-Nam Kim