5973 search results - page 428 / 1195 » Fundamental forms of information |
193
Voted
ICAC
2007
IEEE
15 years 11 months ago
2007
IEEE
It has recently become clear that power management is of critical importance in modern enterprise computing environments. The traditional drive for higher performance has influenc...
220
Voted
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
179
Voted
ATAL
1995
Springer
15 years 11 months ago
1995
Springer
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
230
Voted
SPW
2000
Springer
15 years 11 months ago
2000
Springer
In the context of the security of wireless ad hoc networks, we previously explored the problem of secure transient association between a master and a slave device in the absence of...
252
Voted
DLOG
2008
15 years 10 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...