2050 search results - page 191 / 410 » constraints 2010 |
95
Voted
DLOG
2010
14 years 10 months ago
2010
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...
109
Voted
ER
2010
Springer
14 years 10 months ago
2010
Springer
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...
112
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
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 ...
90
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
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...
121
Voted
ICCAD
2010
IEEE
14 years 10 months ago
2010
IEEE
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...