3516 search results - page 336 / 704 » Integrating Security Modeling into Embedded System Design |
143
click to vote
SPRINGSIM
2010
15 years 2 months ago
2010
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
133
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
133
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
149
click to vote
WSC
2004
15 years 5 months ago
2004
As the U.S. Department of Homeland Security works to create an integrated emergency response system, it is evident that computer-based solutions can support this process. Individu...
148
click to vote
ROBOCUP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...