29172 search results - page 132 / 5835 » Modeling Systems in CLP |
114
click to vote
SSIRI
2010
15 years 1 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
126
click to vote
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
95
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
109
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
127
click to vote
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...