3765 search results - page 660 / 753 » Formal Methods for Systems Engineering Behavior Models |
131
click to vote
ICCD
1995
IEEE
15 years 6 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
142
Voted
MMB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Computing tight performance bounds in feed-forward networks under general assumptions about arrival and server models has turned out to be a challenging problem. Recently...
103
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
219
click to vote
ICIAR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
139
click to vote
IS
2006
15 years 2 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...