1295 search results - page 22 / 259 » Palimpsests of Time and Place |
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
COGSCI
2006
14 years 9 months ago
2006
Flexibility in conceptual projection constitutes one of the most challenging issues in the embodiment and conceptual metaphor literatures. We sketch a theoretical proposal that pl...
AUTOMATICA
2004
14 years 9 months ago
2004
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
107
click to vote
SIGMETRICS
2010
ACM
14 years 7 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
88
Voted
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
SenseCam is an automatic wearable camera, often seen as a tool for the creation of digital memories. In this paper, we report findings from a field trial in which SenseCams were w...