349 search results - page 28 / 70 » Natural Language Requirements Analysis and Class Model Gener... |
CEAS
2008
Springer
13 years 9 months ago
2008
Springer
Human interpersonal face-to-face interaction can be considered in terms of successions of speech acts. These are utterances which contain an intention, and the act of creating an ...
ICALP
2001
Springer
14 years 13 hour ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
MODELS
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
ACSW
2006
13 years 9 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
EOR
2006
13 years 7 months ago
2006
Energy, a fundamental entity of modern life, is usually produced using fossil fuels as the primary raw material. A consequence of burning fossil fuels is the emission of environme...