1917 search results - page 320 / 384 » The York Abstract Machine |
ER
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
EUROSSC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper describes methods and sensor technology used to identify persons from their walking characteristics. We use an array of simple binary switch floor sensors to d...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
ARCSF
2008
13 years 10 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
FORTE
2010
13 years 10 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...