Sciweavers

2050 search results - page 191 / 410
» constraints 2010
Sort
View
DLOG
2010
13 years 8 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
ER
2010
Springer
132views Database» more  ER 2010»
13 years 8 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
FSTTCS
2010
Springer
13 years 8 months ago
Model checking time-constrained scenario-based specifications
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...
GLOBECOM
2010
IEEE
13 years 8 months ago
A Cognitive Transmission Scheme with the Best Relay Selection in Cognitive Radio Networks
In this paper, we propose a cognitive transmission scheme with the best relay selection in a multiple-relay cognitive radio network to improve the secondary transmission performanc...
YuLong Zou, Jia Zhu, Baoyu Zheng, Sulan Tang, Yu-D...
ICCAD
2010
IEEE
162views Hardware» more  ICCAD 2010»
13 years 8 months ago
Practical placement and routing techniques for analog circuit designs
1In this paper, we will present an effective layout method for analog circuits. We consider symmetry constraint, common centroid constraint, device merging and device clustering du...
Linfu Xiao, Evangeline F. Y. Young, Xiaoyong He, K...