1724 search results - page 165 / 345 » Industrial applications |
137
click to vote
ICDAR
2007
IEEE
16 years 24 days ago
2007
IEEE
As pen-based computing becomes more prevalent, it is increasingly important to be able to share ink across applications and across platforms. The emerging standard Ink Markup Lang...
151
click to vote
ISVLSI
2007
IEEE
16 years 23 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
182
click to vote
AOSE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
150
click to vote
HYBRID
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
152
click to vote
ICFEM
2007
Springer
16 years 19 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...