3765 search results - page 340 / 753 » Formal Methods for Systems Engineering Behavior Models |
181
click to vote
ISOLA
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
246
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
177
click to vote
CASCON
2006
15 years 8 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
181
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
204
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...