790 search results - page 69 / 158 » Software design patterns for TinyOS |
102
click to vote
IJISMD
2010
14 years 9 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Human operators of large-scale control systems face the problem of information overload induced by the large amount of information provided by multiple heterogeneous and highlydyn...
IADIS
2003
15 years 1 months ago
2003
The present study investigated the instructional value of signals for learning while comparing two animations that differed solely in the presence / absence of visual signals. Sig...
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
101
click to vote
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...