2609 search results - page 404 / 522 » Models for Global Constraint Applications |
146
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
129
click to vote
SE
2007
15 years 5 months ago
2007
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
119
click to vote
HAIS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents an application of Differential Evolution (DE) to determine optimal crop plan for command area of Pamba-Achankovil-Vaippar (PAV) link project, so as to maximize ...
154
click to vote
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...
131
click to vote
TIT
2010
14 years 10 months ago
2010
Power allocation is studied for fixed-rate transmission over block-fading channels with arbitrary continuous fading distributions and perfect transmitter and receiver channel state...