2373 search results - page 435 / 475 » Modelling Facial Behaviours |
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
106
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...
104
click to vote
COMSWARE
2006
IEEE
15 years 3 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...
101
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
104
click to vote
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...