1757 search results - page 147 / 352 » Alternating Refinement Relations |
211
Voted
GIS
2007
ACM
16 years 4 months ago
2007
ACM
Route planners request user input about preferred route characteristics in order to provide the user with the optimal route. Although navigators have a general idea about what con...
121
Voted
HPCA
2005
IEEE
16 years 3 months ago
2005
IEEE
Due to the simulation time of the reference input set, architects often use alternative simulation techniques. Although these alternatives reduce the simulation time, what has not...
116
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
XML data warehouses form an interesting basis for decisionsupport applications that exploit heterogeneous data from multiple sources. However, XML-native database systems currentl...
116
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
148
Voted
RTA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...