11324 search results - page 1865 / 2265 » Coordination Models and Languages |
211
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
217
click to vote
WISE
2008
Springer
16 years 1 months ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
194
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
181
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
177
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...