891 search results - page 23 / 179 » Towards Reasoning Pragmatics |
162
click to vote
POST
2012
14 years 2 months ago
2012
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
165
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
—Enterprise computing is moving towards more open, collaborative systems. Joining a business network must be made efficient, despite the technical and semantic interoperability ...
194
click to vote
ICAS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
182
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
