7452 search results - page 1223 / 1491 » A Semantics for Multiprocessor Systems |
183
click to vote
ICFEM
2004
Springer
16 years 1 days 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...
158
click to vote
ISI
2004
Springer
16 years 1 days 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 ...
186
click to vote
METAINFORMATICS
2004
Springer
16 years 23 hour 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...
147
Voted
OOPSLA
2004
Springer
16 years 20 hour ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
179
click to vote
VLDB
2004
ACM
16 years 11 hour ago
2004
ACM
Publish/subscribe systems have demonstrated the ability to scale to large numbers of users and high data rates when providing content-based data dissemination services on the Inte...