2162 search results - page 382 / 433 » Automated Reasoning on Feature Models |
140
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
131
Voted
SIGADA
2001
Springer
15 years 8 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
126
click to vote
AAAI
2007
15 years 6 months ago
2007
We consider problems of geometric exploration and selfdeployment for simple robots that can only sense the combinatorial (non-metric) features of their surroundings. Even with suc...
111
click to vote
FMSD
2002
15 years 3 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
160
click to vote
JLP
2008
15 years 2 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...