8627 search results - page 1606 / 1726 » Software Engineering Using RATionale |
187
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
208
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
175
click to vote
GPCE
2005
Springer
15 years 12 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
122
click to vote
IVA
2005
Springer
15 years 12 months ago
2005
Springer
INTERFACE is an integrated software implemented in Matlab© and created to speed-up the procedure for building an emotive/expressive talking head. Various processing tools, working...
171
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Facial expression is one of the primary communication means of the human. However, realistic facial expression images are not used in popular communication tools on portable devic...