3516 search results - page 203 / 704 » Integrating Security Modeling into Embedded System Design |
156
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
212
Voted
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
144
Voted
ACSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
236
Voted
VLDB
2008
ACM
16 years 3 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
108
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...