3229 search results - page 157 / 646 » The Theory of Timed Automata |
135
click to vote
AMAI
2002
Springer
15 years 6 months ago
2002
Springer
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
156
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...
147
click to vote
PODC
2005
ACM
16 years 2 days ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
185
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
144
click to vote
KES
2010
Springer
15 years 5 months ago
2010
Springer
We develop a methodology to grasp temporal trend in a stock market that changes year to year, or sometimes within a year depending on numerous factors. For this purpose, we employ ...