7209 search results - page 1139 / 1442 » Software Engineering for Multi-Agent Systems |
423
click to vote
AC
1998
Springer
15 years 12 days ago
1998
Springer
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
125
click to vote
AC
1998
Springer
15 years 12 days ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
RE
2002
Springer
15 years 10 days ago
2002
Springer
This paper presents an extended version of GoalOriented Requirements Analysis Method called AGORA, where attribute values, e.g. contribution values and preference matrices, are ad...
135
click to vote
SOCO
1998
Springer
15 years 10 days ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
115
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...