1346 search results - page 76 / 270 » On the Use of UML for Modeling Physical Systems |
140
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
176
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
159
click to vote
ACG
2006
Springer
16 years 11 days ago
2006
Springer
A method to simulate the physics of the game of pool is presented. The method is based upon a parametrization of ball motion which allows the time of occurrence of events, such as...
129
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
174
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
User interfaces can improve task performance by exploiting the powerful human capabilities for spatial cognition. This opportunity has been demonstrated by many prior experiments....