7452 search results - page 1300 / 1491 » A Semantics for Multiprocessor Systems |
184
Voted
JUCS
2007
15 years 6 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
200
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
211
Voted
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
197
Voted
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Recently, a number of algorithms have been proposed to obtain hierarchical structures — so-called folksonomies — from social tagging data. Work on these algorithms is in part ...
300
click to vote
PEPM
2009
ACM
17 years 6 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...