12670 search results - page 2438 / 2534 » Requirements Modeling |
GCC
2003
Springer
14 years 3 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
IPSN
2010
Springer
14 years 3 months ago
2010
Springer
A noise map facilitates monitoring of environmental noise pollution in urban areas. It can raise citizen awareness of noise pollution levels, and aid in the development of mitigat...
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
PASTE
2010
ACM
14 years 3 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...