1941 search results - page 27 / 389 » DNA Computing Approach to Construction of Semantic Model |
RTA
2005
Springer
15 years 5 months ago
2005
Springer
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 ...
116
click to vote
SEMCO
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...
125
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...