375 search results - page 58 / 75 » Making Abstract Machines Less Abstract |
114
click to vote
WAOA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We consider the train delivery problem which is a generalization of the bin packing problem and is equivalent to a one dimensional version of the vehicle routing problem ...
104
click to vote
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
APPROX
2007
Springer
15 years 4 months ago
2007
Springer
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
WISTP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...