3898 search results - page 510 / 780 » Maintaining Component-Based Systems |
152
Voted
POPL
1990
ACM
15 years 9 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
124
Voted
SP
1990
IEEE
15 years 9 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
133
Voted
CANDC
2007
ACM
15 years 9 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
147
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
145
Voted
GROUP
2007
ACM
15 years 8 months ago
2007
ACM
As the use of social networking websites becomes increasingly common, the types of social relationships managed on these sites are becoming more numerous and diverse. This researc...