7820 search results - page 367 / 1564 » Formalization of Time and Space |
211
click to vote
FORMATS
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we study timed games played on weighted timed automata. In this context, the reachability problem asks if, given a set T of locations and a cost C, Player 1 has a st...
189
click to vote
ECAI
1992
Springer
15 years 11 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
211
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
175
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
One of the major challenges to cognitive radios is the synchronization of distributed radios onto the same spectrum white spaces which vary in time and space. In this paper, we pr...
323
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...