1788 search results - page 329 / 358 » Model Theory for Process Algebra |
138
Voted
SECRYPT
2010
15 years 1 months ago
2010
Nanotechnology is enabling the development of devices in a scale ranging from one to a few one hundred nanometers. Nanonetworks, i.e., the interconnection of nano-scale devices, a...
132
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
141
Voted
COGSR
2011
14 years 10 months ago
2011
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...
104
Voted
EWC
2011
14 years 10 months ago
2011
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...
187
click to vote
TCAD
2010
14 years 10 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...