3653 search results - page 562 / 731 » On Recognizable Timed Languages |
147
click to vote
DOCENG
2009
ACM
16 years 19 days ago
2009
ACM
Widgets are small and focused multimedia applications that can be found on desktop computers, mobile devices or even TV sets. Widgets rely on structured documents to describe thei...
163
click to vote
ADHOCNOW
2008
Springer
16 years 14 days ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
188
click to vote
CSMR
2007
IEEE
16 years 14 days ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
158
click to vote
DATE
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
148
click to vote
DSD
2007
IEEE
16 years 14 days ago
2007
IEEE
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...