1567 search results - page 165 / 314 » A Mechanized Model of the Theory of Objects |
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
109
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
117
click to vote
HT
1998
ACM
15 years 6 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
123
click to vote
DSRT
2009
IEEE
15 years 5 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...