3765 search results - page 533 / 753 » Formal Methods for Systems Engineering Behavior Models |
159
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
200
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
187
Voted
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
175
click to vote
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
174
click to vote
SIGMOD
2002
ACM
15 years 6 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...