930 search results - page 72 / 186 » Integrating dialog modelling and application development |
EKAW
1992
Springer
14 years 1 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
ICALT
2008
IEEE
14 years 3 months ago
2008
IEEE
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
FMCAD
2006
Springer
14 years 21 days ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...