269 search results - page 9 / 54 » Applications of MetiTarski in the Verification of Control an... |
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
RSP
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we explore the idea of Intelligent Learning Environment (ILE) by building a system for teaching and learning music in a web-based environment. Our system is a frame...
CSI
2004
13 years 7 months ago
2004
Standards are important to the growth and acceptance of emerging industries such as the biometric industry. To promote biometric standard, the BioAPI Consortium has developed a wi...
GCC
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...