2517 search results - page 248 / 504 » Specifying Weak Sets |
140
click to vote
AUIC
2005
IEEE
16 years 8 days ago
2005
IEEE
Thin-client diagramming tools provide a number of advantages over traditional thick-client design tools but are challenging to build. We describe an extension to a thick-client me...
160
click to vote
CSMR
2005
IEEE
16 years 8 days ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
163
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
149
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a streaming system that utilizes interleaved transmission for real-time H.264/AVC video in 3G wireless environments with benefits shown especially in the presence of li...
168
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...