Sciweavers

395 search results - page 26 / 79
» An Introduction to Rapid System Prototyping
Sort
View
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
14 years 2 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
UAI
1996
13 years 10 months ago
Network Engineering for Complex Belief Networks
Developing a large belief network, like any large system, requires systems engineering to manage the design and construction process. We propose that network engineering follow a ...
Suzanne M. Mahoney, Kathryn B. Laskey
ICDCS
2006
IEEE
14 years 2 months ago
DNScup: Strong Cache Consistency Protocol for DNS
Effective caching in Domain Name System (DNS) is critical to its performance and scalability. Existing DNS only supports weak cache consistency by using the Time-To-Live (TTL) mec...
Xin Chen, Haining Wang, Shansi Ren
ICMI
2009
Springer
304views Biometrics» more  ICMI 2009»
14 years 1 months ago
Building multimodal applications with EMMA
Multimodal interfaces combining natural modalities such as speech and touch with dynamic graphical user interfaces can make it easier and more effective for users to interact wit...
Michael Johnston
ECOOPW
1998
Springer
14 years 25 days ago
Exploiting Architecture in Experimental System Development
This position paper takes as outset experience obtained during development of an object-oriented prototype for a global customer service system. The project involved a large shipp...
Klaus Marius Hansen