1301 search results - page 105 / 261 » Specifications via Realizability |
132
Voted
RE
2006
Springer
15 years 3 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
123
Voted
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
15 years 3 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
123
Voted
AI
2002
Springer
15 years 3 months ago
2002
Springer
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...
109
Voted
COLING
2004
15 years 3 months ago
2004
cross-linguistically valid claims about which discourses are easier to process, abstracting away from specific algorithms for anaphora resolution or anaphora generation (although m...
176
Voted
CSSE
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...