891 search results - page 23 / 179 » Towards Reasoning Pragmatics |
111
click to vote
POST
2012
13 years 9 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...
114
Voted
IEEEARES
2008
IEEE
15 years 8 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 ...
132
click to vote
ICAS
2006
IEEE
15 years 8 months 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,...
121
click to vote
VL
1999
IEEE
15 years 6 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...
