2106 search results - page 304 / 422 » Operational Semantics for MSC'96 |
202
click to vote
TAOSD
2010
15 years 4 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
203
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
152
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
158
click to vote
DASFAA
2004
IEEE
15 years 9 months ago
2004
IEEE
XML is becoming the standard data exchange format. View transformation of XML data is important and frequent operation in XML data integration and publishing. In schema-based view ...
157
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...