6174 search results - page 918 / 1235 » The language of social software |
320
click to vote
TASE
2012
IEEE
14 years 2 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
142
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Developers frequently use inefficient code sequences that could be fixed by simple patches. These inefficient code sequences can cause significant performance degradation and ...
175
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
167
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
178
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...