16190 search results - page 134 / 3238 » Applicative programming with effects |
108
click to vote
TSP
2010
14 years 9 months ago
2010
This paper considers the downlink beamforming optimization problem that minimizes the total transmission power subject to global shaping constraints and individual shaping constrai...
123
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
109
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
JSW
2007
15 years 2 months ago
2007
—As the Internet users increase, the need to protect web servers from malicious users has become a priority in many organizations and companies. ...
110
click to vote
CCE
2010
14 years 12 months ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...