3514 search results - page 379 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
194
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
202
click to vote
JUCS
2000
15 years 6 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
196
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
202
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
180
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...