4890 search results - page 185 / 978 » From system specifications to component behavioral models |
165
click to vote
GI
2004
Springer
16 years 3 hour ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
142
click to vote
GI
2004
Springer
16 years 3 hour ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
161
click to vote
QEST
2006
IEEE
16 years 19 days ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
164
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
176
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...