747 search results - page 122 / 150 » Theory and Construction of Molecular Computers |
173
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
173
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most signiļ¬ca...
200
click to vote
MSE
2005
IEEE
16 years 10 days ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
197
Voted
TRIDENTCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
204
Voted
IUI
2005
ACM
16 years 9 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...