694 search results - page 76 / 139 » Representing and Applying Design Patterns: What Is the Probl... |
127
Voted
AINA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an interactive analysis and visualization framework for behavior histories, called mPATH framework. In ubiquitous computing environment, it is possible to infe...
118
Voted
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
118
click to vote
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
109
Voted
ITICSE
2009
ACM
15 years 10 months ago
2009
ACM
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signiï¬...
129
Voted
BIBM
2008
IEEE
15 years 10 months ago
2008
IEEE
Network alignments are extensively used for comparing, exploring, and predicting biological networks. Existing alignment tools are mostly based on isomorphic and homeomorphic embe...