7820 search results - page 173 / 1564 » Formalization of Time and Space |
220
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
233
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
155
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper introduces TimeSlider, a user interface technique that allows the user to specify time points. TimeSlider is a kind of slider whose time scale is nonlinear and which mo...
201
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
176
click to vote
ICTAC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...