3166 search results - page 180 / 634 » Translation By Structural Correspondences |
181
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
156
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, subgraphs and complementary graphs are used to analyze network synchronizability. Some sharp and attainable bounds are derived for the eigenratio of the network str...
155
click to vote
JGT
2010
15 years 5 months ago
2010
Beck introduced the concept of Ramsey games by studying the game versions of Ramsey and van der Waerden theorems. We contribute to this topic by investigating games corresponding ...
142
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
139
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...