Sciweavers

3365 search results - page 225 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
IEICET
2006
114views more  IEICET 2006»
15 years 6 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
ICWS
2007
IEEE
15 years 8 months ago
Web Services Methods for Communication over IP
In this paper, we study web services methods and approaches to enable real-time communication services over IP. This approach extends web services methodologies from service integ...
Wu Chou, Li Li, Feng Liu
DATE
2006
IEEE
115views Hardware» more  DATE 2006»
16 years 20 days ago
Management of complex automotive communication networks
Automakers are still facing an increasing complexity in vehicle requirements with regard to their EE systems. This complexity is not only caused by innovations, which are being pr...
Thomas Weber
CIE
2010
Springer
15 years 4 months ago
PuzzleTale: A tangible puzzle game for interactive storytelling
We describe the design and development of PuzzleTale, an interactive storytelling system that makes use of tangible puzzle pieces on the surface of an interactive table. In the Pu...
Yang Ting Shen, Ali Mazalek
WWW
2005
ACM
16 years 7 months ago
A multilingual usage consultation tool based on internet searching: more than a search engine, less than QA
We present a usage consultation tool, based on Internet searching, for language learners. When a user enters a string of words for which he wants to find usages, the system sends ...
Kumiko Tanaka-Ishii, Hiroshi Nakagawa