4799 search results - page 287 / 960 » Model Based Requirements Engineering for Embedded Software |
201
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
143
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...
307
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
181
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
173
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Complex dialogs with comprehensive underlying data models are gaining increasing importance in today's Web applications. This in turn accelerates the need for highly dynamic ...