6174 search results - page 1187 / 1235 » The language of social software |
170
click to vote
ATAL
2009
Springer
16 years 21 days ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
197
click to vote
LFCS
2009
Springer
16 years 20 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
156
click to vote
RE
2009
Springer
16 years 20 days ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
155
click to vote
ISSTA
2009
ACM
16 years 19 days ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
182
click to vote
CGO
2008
IEEE
16 years 18 days ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...