9018 search results - page 242 / 1804 » 3D-Brain Model Software |
121
Voted
ISLPED
2000
ACM
15 years 9 months ago
2000
ACM
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
119
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
117
click to vote
ISICT
2003
15 years 6 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
155
Voted
SIGSOFT
2008
ACM
15 years 3 months ago
2008
ACM
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
134
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...