2251 search results - page 211 / 451 » Specification and Implementation Problems for C |
141
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
137
click to vote
GECON
2009
Springer
15 years 7 months ago
2009
Springer
This paper deals with the problem of selecting service instances to execute workflow processes by not only taking into consideration Quality of Service (QoS) constraints, posed by ...
104
click to vote
LREC
2010
15 years 5 months ago
2010
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...
148
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Personalization and adaptation of multi-media messages are well known and well studied problems. Ideally, each message should reflect its recipient's interests, device capabi...
154
click to vote
LISA
2004
15 years 5 months ago
2004
Originally published at Usenix LISA 2004 conference. November 2004 Atlanta, Georiga, USA. Log analysis is an important way to keep track of computers and networks. The use of auto...