3913 search results - page 323 / 783 » complexity 2006 |
183
click to vote
CCGRID
2006
IEEE
16 years 23 days ago
2006
IEEE
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...
192
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
197
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
183
Voted
CSMR
2006
IEEE
16 years 23 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
201
click to vote
ECRTS
2006
IEEE
16 years 23 days ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...