2850 search results - page 84 / 570 » On Timed Models and Full Abstraction |
157
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— In this paper, we address the problem of determining an optimal topology for Bluetooth Wireless Personal Area Networks (BT-WPANs). In BT-WPANs, multiple communication c...
135
click to vote
COMPUTER
2002
15 years 6 months ago
2002
abstract service descriptions to specific physical addresses such as HTTP or SMTP statically at design time or dynamically at runtime.
155
click to vote
EOR
2007
15 years 6 months ago
2007
Motivated by an underground mining operation at Kiruna, Sweden, we formulate a mixed integer program to schedule iron ore production over multiple time periods. Our optimization m...
181
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many examples exist of multivariate time series where dependencies between variables change over time. If these changing dependencies are not taken into account, any mode...
188
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...