6527 search results - page 1061 / 1306 » On Typing Information Flow |
164
click to vote
ITNG
2010
IEEE
16 years 11 days ago
2010
IEEE
—In a user-centric service creation process, users should drive the service creation, in which services can be composed out of existing services. However, the creation is expecte...
206
click to vote
CCGRID
2002
IEEE
16 years 8 days ago
2002
IEEE
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
224
click to vote
CSMR
2002
IEEE
16 years 7 days ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
207
click to vote
CSMR
2002
IEEE
16 years 7 days ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
203
click to vote
DANCE
2002
IEEE
16 years 7 days ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...