439 search results - page 51 / 88 » On Aperiodic Trace Languages |
WSFM
2007
Springer
14 years 1 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
INTETAIN
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we investigate the role of user emotions in human-machine goal-oriented conversations. There has been a growing interest in predicting emotions from acted and non-act...
DAC
2003
ACM
14 years 25 days ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...