102 search results - page 5 / 21 » Challenges in the Specification of Full Contracts |
ICSE
2007
IEEE-ACM
15 years 3 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
PODS
2006
ACM
15 years 9 months ago
2006
ACM
The most acute information management challenges today stem from organizations relying on a large number of diverse, interrelated data sources, but having no means of managing the...
LREC
2010
14 years 11 months ago
2010
Delivering linguistic resources and easy-to-use methods to a broad public in the humanities is a challenging task. On the one hand users rightly demand easy to use interfaces but ...
AAMAS
2008
Springer
14 years 9 months ago
2008
Springer
This paper reports on industrial deployment of multi-agent systems and agent technology. It provides an overview of several application domains and an in-depth presentation of four...
KDD
2008
ACM
15 years 10 months ago
2008
ACM
Record label companies would like to identify potential artists as early as possible in their careers, before other companies approach the artists with competing contracts. The va...