3481 search results - page 418 / 697 » Architecture as Object Models of Software |
230
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
126
click to vote
HICSS
1995
IEEE
15 years 8 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
127
click to vote
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
118
click to vote
UIST
2000
ACM
15 years 9 months ago
2000
ACM
A number of recent systems have provided rich facilities for manipulating the timelines of applications. Such timelines represent the history of an application’s use in some ses...
133
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...