3765 search results - page 652 / 753 » Formal Methods for Systems Engineering Behavior Models |
168
click to vote
CEAS
2005
Springer
16 years 29 days ago
2005
Springer
Implicit query systems examine a document and automatically conduct searches for the most relevant information. In this paper, we offer three contributions to implicit query resea...
179
Voted
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
194
click to vote
WSC
1994
15 years 8 months ago
1994
Whether designing a new system or modifying an existing one, engineers want to take the guesswork out of finding the best possible solution. While there are many analysis methods ...
214
Voted
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
200
Voted
ICEIS
2005
IEEE
16 years 1 months ago
2005
IEEE
: Emerging technologies and industrial standards in the field of Web services enable a much faster and easier cooperation of distributed partners. With the increasing number of en...