9642 search results - page 1626 / 1929 » Semantics in Multimedia Systems |
72
Voted
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
109
click to vote
ICCS
2004
Springer
15 years 4 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
ICFEM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
ISI
2004
Springer
15 years 4 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
METAINFORMATICS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...