Sciweavers

36320 search results - page 220 / 7264
» From Code to Models
Sort
View
WCE
2007
15 years 7 months ago
Digital Transceiver using H-Ternary Line Coding Technique
– In this paper “Digital Transceiver using Hybrid Ternary Technique” gives the details about digital transmitter and receiver with the design of a hybrid ternary line coding....
A. Mahadevan
RTA
2005
Springer
16 years 5 hour ago
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
Amy P. Felty
AOSD
2010
ACM
15 years 11 months ago
Composing aspects with aspects
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
Antoine Marot, Roel Wuyts
IWPC
1996
IEEE
15 years 10 months ago
The Gadfly: An Approach to Architectural-Level System Comprehension
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
Kurt C. Wallnau, Paul C. Clements, Edwin J. Morris...
ECOOP
2003
Springer
15 years 11 months ago
Traits: Composable Units of Behaviour
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
Nathanael Schärli, Stéphane Ducasse, O...