3801 search results - page 133 / 761 » An Approach to Modeling Software Safety |
154
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
Most of the current swarm model studies and applications try to mimic the collective behaviors of social animals, such as birds and ants. The studies seek to solve tasks similar to...
129
click to vote
SIGDOC
2006
ACM
15 years 10 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
149
Voted
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
146
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...