5228 search results - page 413 / 1046 » Case Studies for Software Engineers |
215
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
194
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
184
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
217
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
1 As systems evolve and their structure decays, maintainers need accurate and automatic identification of the design problems. Current approaches for automatic detection of design...
199
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...