6174 search results - page 914 / 1235 » The language of social software |
201
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
178
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
180
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
161
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
204
click to vote
PPPJ
2006
ACM
16 years 20 days ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...