3009 search results - page 350 / 602 » The Expressive Rate of Constraints |
200
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
166
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Bioluminescence imaging (BLI) offers the possibility to study and image biology at molecular scale in small animals with applications in oncology or gene expression studies. Here ...
177
click to vote
DLOG
2010
15 years 4 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...
198
click to vote
ER
2010
Springer
15 years 4 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...
165
click to vote
GLOBECOM
2010
IEEE
15 years 4 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...