1057 search results - page 187 / 212 » Testing from Formal Specifications, a Generic Approach |
WETICE
1998
IEEE
13 years 11 months ago
1998
IEEE
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
DSN
2006
IEEE
13 years 11 months ago
2006
IEEE
Due to our increasing reliance on computer systems, security incidents and their causes are important problems that need to be addressed. To contribute to this objective, the pape...
NAACL
1994
13 years 8 months ago
1994
We attemped to improve recognition accuracy by reducing the inadequacies of the lexicon and language model. Specifically we address the following three problems: (1) the best size...
ECTEL
2010
Springer
13 years 8 months ago
2010
Springer
Changes in the underpinning technologies for TEL is occurring at a pace that we have never before experienced, and this is unlikely to slow down. This necessitates a broader and mo...
JCM
2006
13 years 7 months ago
2006
Decentralized sensor networks are collections of individual local sensors that observe a common phenomenon, quantize their observations, and send this quantized information to a ce...