Sciweavers

790 search results - page 69 / 158
» Software design patterns for TinyOS
Sort
View
146
Voted
IJISMD
2010
164views more  IJISMD 2010»
15 years 29 days ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
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...
Mira Balaban, Azzam Maraee, Arnon Sturm
136
Voted
SAC
2008
ACM
15 years 3 months ago
A software architecture for ontology-driven situation awareness
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...
Norbert Baumgartner, Werner Retschitzegger, Wielan...
103
Voted
IADIS
2003
15 years 5 months ago
Learning with Educational Hypermedia Software: The Impact of Signals in Animations
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...
Thomas Huk, Mattias Steinke, Christian Floto
125
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
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...
Pavel Parizek, Frantisek Plasil
133
Voted
VMCAI
2004
Springer
15 years 9 months ago
Applying Jlint to Space Exploration Software
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...
Cyrille Artho, Klaus Havelund