3825 search results - page 496 / 765 » The Language of Time: A Reader |
243
click to vote
FORTE
2009
15 years 5 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
222
click to vote
HCI
2009
15 years 5 months ago
2009
Within the communication process of human beings, the speaker's facial expression and lip-shape movement contains extremely rich language information. The hearing impaired, a...
238
click to vote
ICSOC
2009
Springer
15 years 5 months ago
2009
Springer
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
221
click to vote
INTERACTIONS
2010
15 years 4 months ago
2010
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...
194
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
The problem of storing a set of strings – a string dictionary – in compact form appears naturally in many cases. While classically it has represented a small part of the whole ...