1134 search results - page 66 / 227 » Using Constraints with Action Language for Model Evolution |
128
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
161
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
155
click to vote
ICWE
2007
Springer
16 years 10 days ago
2007
Springer
The requirements for Web applications concerning workflow execution, interaction, aesthetics, federation and Web service integration are steadily increasing. Considering their comp...
169
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
154
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...