348 search results - page 33 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
LCN
2008
IEEE
14 years 1 months ago
2008
IEEE
—A wide range of Internet-based services that use reliable transport protocols display what we call thin-stream properties. This means that the application sends data with such a...
CTCS
1987
Springer
13 years 11 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
COMPSAC
2009
IEEE
14 years 7 days ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
ENTCS
2006
13 years 7 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
AI
2006
Springer
13 years 9 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...