1054 search results - page 30 / 211 » Translation Validation of System Abstractions |
169
click to vote
SYNASC
2008
IEEE
16 years 10 days ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
154
click to vote
OMER
2001
15 years 7 months ago
2001
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
158
click to vote
DATE
2006
IEEE
16 years 11 hour ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
152
click to vote
AC
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
113
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...