773 search results - page 41 / 155 » Report on a Practical Application of ASMs in Software Design |
EDO
2006
Springer
14 years 19 days ago
2006
Springer
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...
FGCS
2006
13 years 9 months ago
2006
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...
GI
2007
Springer
14 years 25 days ago
2007
Springer
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...
SOQUA
2004
13 years 10 months ago
2004
: 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...
FPGA
1997
ACM
14 years 1 months ago
1997
ACM
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...