3522 search results - page 175 / 705 » Modeling and Aspect Weaving |
103
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
116
click to vote
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
85
Voted
IEEESCC
2007
IEEE
15 years 7 months ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
—Perception, prediction and generation of sequences is a fundamental aspect of human behavior and depends on the ability to detect serial order. This paper presents a plausible m...
IRI
2007
IEEE
15 years 7 months ago
2007
IEEE
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence,...