3516 search results - page 305 / 704 » Integrating Security Modeling into Embedded System Design |
168
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
125
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
155
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
241
Voted
EAAI
2007
15 years 4 months ago
2007
An integrated modeling and robust model predictive control (MPC) approach is proposed for a class of nonlinear systems with unknown steady state. First, the nonlinear system is id...
128
click to vote
OOPSLA
1992
Springer
15 years 8 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...