13306 search results - page 464 / 2662 » Theoretical Computer Science |
176
click to vote
FCT
2009
Springer
16 years 2 months ago
2009
Springer
In social network theory, a simple graph G is called k-role assignable if there is a surjective mapping that assigns a number from {1, . . . , k} called a role to each vertex of G ...
202
click to vote
CSE
2009
IEEE
16 years 10 days ago
2009
IEEE
This paper presents metaViz, an online application that uses computational metaphor identification to find conceptual metaphors in political blogs. The application presents those ...
165
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
202
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
192
click to vote
ITICSE
2003
ACM
16 years 26 days ago
2003
ACM
The authors present observations from using two modes of teaching undergraduate computer architecture. Two sections were taught differently: one section was taught using a traditi...