8377 search results - page 1505 / 1676 » Scenarios - Introduction |
213
click to vote
EURONGI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract— Trajectory Based Forwarding (TBF) is a new approach to routing in ad hoc wireless networks. It exploits node position information and, similarly to source routing, requ...
164
click to vote
FC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This work introduces a new tool for a fund manager to verifiably communicate portfolio risk characteristics to an investor. We address the classic dilemma: How can an in...
189
click to vote
FCA
2005
Springer
16 years 2 days ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
210
click to vote
FM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
154
click to vote
FSTTCS
2005
Springer
16 years 2 days ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...