3718 search results - page 127 / 744 » IMPS: System Description |
105
click to vote
CONCUR
1990
Springer
15 years 8 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
129
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
The implementation of embedded networked appliances requires a mix of processor cores and HW accelerators on a single chip. When designing such complex and heterogeneous SoCs, the...
139
click to vote
ACL
2004
15 years 5 months ago
2004
In this paper, we describe a new methodology to develop mixed-initiative spoken dialog systems, which is based on the extensive use of simulations to accelerate the development pr...
166
click to vote
IWUC
2004
15 years 5 months ago
2004
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
130
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...