1664 search results - page 254 / 333 » Towards Partial Reasoning |
154
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
160
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
163
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...
118
click to vote
ECMDAFA
2010
Springer
15 years 4 months ago
2010
Springer
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
146
click to vote
ICDIM
2007
IEEE
15 years 4 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to act as enablers of seamless application-to-application integration both within company ...