3516 search results - page 394 / 704 » Integrating Security Modeling into Embedded System Design |
154
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
141
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
146
Voted
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
134
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
185
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Privacy is an enormous problem in online social networking sites. While sites such as Facebook allow users fine-grained control over who can see their profiles, it is difficult ...