579 search results - page 47 / 116 » Constraint Validation in Model Compilers |
129
Voted
AICCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
101
click to vote
SRDS
2007
IEEE
15 years 8 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
99
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
150
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
124
Voted
TSE
2010
15 years 27 days ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...