6201 search results - page 1101 / 1241 » Implementation of Axiomatic Language |
146
click to vote
IJAOSE
2007
15 years 5 months ago
2007
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
369
click to vote
SIGCSE
2008
ACM
15 years 5 months ago
2008
ACM
Generating interest in specialized areas of Computer Science (CS) is one of the goals of the department of Computer and Information Science at Spelman College as with most departm...
168
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
123
click to vote
TACO
2008
15 years 5 months ago
2008
r acceptance of FPGAs as a computing device requires a higher level of programming abstraction. ROCCC is an optimizing C to HDL compiler. We describe the code generation approach i...
170
click to vote
IJVR
2007
15 years 5 months ago
2007
—In this paper, we focus on the different aspects of real time visualization and animation of realistic virtual characters. The common goal for our research was to come up with s...