1109 search results - page 177 / 222 » Software verification for TinyOS |
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
SIGDOC
2004
ACM
15 years 3 months ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...
IUI
2003
ACM
15 years 3 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
108
click to vote
UML
2001
Springer
15 years 2 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...