Sciweavers

4635 search results - page 650 / 927
» Modeling Design Knowledge on Structure
Sort
View
CAISE
2005
Springer
16 years 6 days ago
Heuristic Horizontal XML Fragmentation
A challenging question is how XML can be used to support distributed databases. This leads to the problem of how to obtain a suitable, cost-efficient distribution design for XML do...
Hui Ma, Klaus-Dieter Schewe
AC
2003
Springer
15 years 12 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
COORDINATION
2000
Springer
15 years 10 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
AAAI
2006
15 years 8 months ago
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...
Lengning Liu, Miroslaw Truszczynski
ACL
1989
15 years 7 months ago
The Effects of Interaction on Spoken Discourse
Near-term spoken language systems willlikely be limited in their interactive capabilities. To design them, we shall need to model how the presence or absence of speaker interactio...
Sharon L. Oviatt, Philip R. Cohen