100 search results - page 13 / 20 » A system for specification and verification of interactive, ... |
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The union of Interactive Digital TV (IDTV) and Web promotes the development of new interactive multimedia services, enjoyable while watching TV even on the new handheld digital TV...
ICEIS
2000
IEEE
14 years 5 hour ago
2000
IEEE
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
HASE
2002
IEEE
14 years 16 days ago
2002
IEEE
Web services received significant attention recently and several important web service platforms such as .NET are now available. The testing and evaluation of web services are imp...