3256 search results - page 124 / 652 » Applications of Formal Methods to System Design and Verifica... |
140
click to vote
APSEC
1997
IEEE
15 years 8 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
117
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
114
Voted
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
144
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless communication of video poses constraints on information capacity. Region-of-Interest (ROI) video coding provides higher quality in the ROI, but poorer quality in the back...
126
Voted
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...