1246 search results - page 157 / 250 » Recursive Timed Automata |
147
Voted
ESA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A materialized view is a certain synopsis structure precomputed from one or more data sets (called base tables) in order to facilitate various queries on the data. When t...
172
click to vote
MONET
2002
15 years 4 months ago
2002
This paper describes a framework for selecting the optimal call mix to be admitted while employing a bandwidth degradation policy in a wireless cellular network. The optimal proper...
136
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
165
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
The nature of data in enterprises and on the Internet is changing. Data used to be stored in a database first and queried later. Today timely processing of new data, represented ...
145
click to vote
AGENTCL
2000
Springer
15 years 9 months ago
2000
Springer
Conversation policies codify the allowable exchanges of speech acts among agents as they execute specific types of tasks. Both the set of agents in a community, and the nature of...