3897 search results - page 410 / 780 » complexity 2010 |
188
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
185
click to vote
ENTCS
2002
15 years 6 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
161
click to vote
EOR
2002
15 years 6 months ago
2002
In multistage cutting stock problems (CSP) the cutting process is distributed over several successive stages. Every stage except the last one produces intermediate products. The l...
150
click to vote
EOR
2002
15 years 6 months ago
2002
Selection and negotiation of purchasing bids is a complex decision making process that requires consideration of a variety of vendor attributes such as price, delivery performance...
209
click to vote
ENTCS
2007
15 years 6 months ago
2007
Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, ...