500 search results - page 58 / 100 » Coalgebraic semantics for timed processes |
MTSR
2007
Springer
14 years 4 months ago
2007
Springer
Preservation of interactive multimedia performances is becoming important as they are getting more and more popular in performing arts communities. A proper preservation does not o...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
HT
2007
ACM
14 years 1 months ago
2007
ACM
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
EMNLP
2009
13 years 7 months ago
2009
We present a framework to extract the most important features (tree fragments) from a Tree Kernel (TK) space according to their importance in the target kernelbased machine, e.g. ...
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...