932 search results - page 12 / 187 » Verifying Progress in Timed Systems |
WSC
2007
13 years 10 months ago
2007
A simulation-based methodology is proposed to map the mean of steady-state cycle time as a function of throughput and product mix for manufacturing systems. Nonlinear regression m...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
– Audio scrambling can be employed in audio distribution for the purpose of guaranteeing the confidentiality. Electronic commerce in audio products would be facilitated by the de...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper we present a number of improvements that were recently made to the template based speech recognition system developed at ESAT. Combining these improvements resulted ...