9018 search results - page 124 / 1804 » 3D-Brain Model Software |
PROFES
2009
Springer
15 years 5 months ago
2009
Springer
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
Embedded software design for real time reactive system
ENTCS
2006
14 years 11 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
104
click to vote
SOCIALCOM
2010
14 years 5 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...
JUCS
2007
14 years 11 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...