891 search results - page 23 / 179 » Towards Reasoning Pragmatics |
POST
2012
12 years 5 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...
IEEEARES
2008
IEEE
14 years 4 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 ...
ICAS
2006
IEEE
14 years 3 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,...
VL
1999
IEEE
14 years 1 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...
GIS
2008
ACM
13 years 8 months ago
2008
ACM
