1988 search results - page 200 / 398 » Engineering formal metatheory |
167
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
191
click to vote
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
192
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
203
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
138
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...