9370 search results - page 185 / 1874 » An Abstract Notion of Application |
169
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
177
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
163
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Traditional centralised approaches to security are difficult to apply to large, distributed marketplaces in which software agents operate. Developing a notion of trust that is ba...
165
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
147
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
The concept of tracking ‡uid policies by packetized policies is extended to input queueing switches. It is considered that the speed up of the switch is one. One of the interest...