913 search results - page 160 / 183 » Formal Agent Development: Framework to System |
97
Voted
FLAIRS
2007
15 years 2 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
109
click to vote
ATAL
2010
Springer
15 years 26 days ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
117
click to vote
AUTONOMICS
2008
ACM
15 years 1 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
105
click to vote
CASES
2004
ACM
15 years 5 months ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...