932 search results - page 46 / 187 » Verifying Progress in Timed Systems |
112
click to vote
MEMICS
2010
14 years 10 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
118
Voted
SIMUTOOLS
2008
15 years 4 months ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
146
Voted
IMC
2010
ACM
15 years 1 months ago
2010
ACM
Social networks provide interesting algorithmic properties that can be used to bootstrap the security of distributed systems. For example, it is widely believed that social networ...
148
click to vote
DANCE
2002
IEEE
15 years 8 months ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
128
Voted
IJCM
2002
15 years 3 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...