1329 search results - page 189 / 266 » Constraint-based model synthesis |
197
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
194
click to vote
MOBISYS
2003
ACM
16 years 5 months ago
2003
ACM
Advances in sensing and tracking technology enable location-based applications but they also create significant privacy risks. Anonymity can provide a high degree of privacy, save...
156
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
173
click to vote
IROS
2009
IEEE
16 years 28 days ago
2009
IEEE
– This paper presents a predictive gain scheduler for path tracking control in a networked control system with variable delay. The controller uses the plant model to predict futu...
164
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...