4520 search results - page 571 / 904 » Algebraic Techniques for Timed Systems |
178
click to vote
ICDM
2003
IEEE
16 years 3 days ago
2003
IEEE
The data stream captured by recording inhabitantdevice interactions in an environment can be mined to discover significant patterns, which an intelligent agent could use to automa...
157
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
183
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
184
Voted
ICN
2009
Springer
15 years 11 months ago
2009
Springer
—Ever since Descartes introduced planar coordinate systems, visual representations of data have become a widely accepted way of describing scientific phenomena. Modern advances ...
152
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We propose a navigation technique for browsing large documents that integrates rate-based scrolling with automatic zooming. The view automatically zooms out when the user scrolls ...