Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
We report on our iGrid2005 demonstration, called the "Dead Cat Demo"; an example of a highly interactive augmented reality application consisting of software services di...
Michael Scarpa, Robert G. Belleman, Peter M. A. Sl...
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...