1980 search results - page 59 / 396 » Compositional Model Checking of Real Time Systems |
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
104
click to vote
PLILP
1998
Springer
15 years 4 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
142
click to vote
CBSE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
110
click to vote
JUCS
2010
14 years 6 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...