3742 search results - page 242 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
WSC
1998
15 years 8 months ago
1998
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...
178
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
168
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
158
click to vote
PVLDB
2008
15 years 6 months ago
2008
In probabilistic databases, lineage is fundamental to both query processing and understanding the data. Current systems s.a. Trio or Mystiq use a complete approach in which the li...
139
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...