1501 search results - page 7 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
120
Voted
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
123
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
137
click to vote
APCCM
2009
15 years 4 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
126
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
139
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...