1458 search results - page 101 / 292 » System Model-Based Definition of Modeling Language Semantics |
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
125
click to vote
WEBNET
2001
14 years 11 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...