3514 search results - page 211 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
148
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
232
click to vote
VLSI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
115
click to vote
PACT
1997
Springer
15 years 6 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
138
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
112
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...