7820 search results - page 366 / 1564 » Formalization of Time and Space |
201
Voted
IPPS
2002
IEEE
16 years 15 days ago
2002
IEEE
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...
180
click to vote
SSD
2001
Springer
16 years 7 hour ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
206
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
189
click to vote
MEMOCODE
2006
IEEE
16 years 1 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
164
click to vote
FORMATS
2005
Springer
16 years 1 months ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...