1743 search results - page 230 / 349 » Generalized Modal Satisfiability |
116
click to vote
PRDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time applications typically have to satisfy high dependability requirements and require fault tolerance in both value and time domains. A widely used approach to ensure fault...
137
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
Web services have greatly leveraged the world of Business-to-Business (B2B) communication and promise a lot more through dynamic service composition. In order to compose Web servi...
124
Voted
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
128
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we address the problem of building a system of autonomous agents for a complex environment, in our case, a museum with many visitors. Visitors may have varying pref...
134
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...