8446 search results - page 1001 / 1690 » A Process Compensation Language |
184
click to vote
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
169
click to vote
KCAP
2005
ACM
16 years 1 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
178
Voted
SIGCSE
2005
ACM
16 years 1 months ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
224
click to vote
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
207
click to vote
CAISE
2005
Springer
16 years 1 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...