3516 search results - page 454 / 704 » Integrating Security Modeling into Embedded System Design |
117
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
149
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
147
click to vote
BTW
2009
Springer
15 years 11 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
132
click to vote
RSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
135
click to vote
NOMS
2002
IEEE
15 years 9 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...