2050 search results - page 191 / 410 » constraints 2010 |
DLOG
2010
13 years 8 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...
ER
2010
Springer
13 years 8 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...
FSTTCS
2010
Springer
13 years 8 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 ...
GLOBECOM
2010
IEEE
13 years 8 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...
ICCAD
2010
IEEE
13 years 8 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...