2748 search results - page 361 / 550 » Generating Object-Z Specifications from Use Cases |
116
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
We settle the 1-pass space complexity of (1 ? )approximating the Lp norm, for real p with 1 p 2, of a length-n vector updated in a length-m stream with updates to its coordinate...
131
click to vote
EDOC
2008
IEEE
15 years 10 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
147
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
128
click to vote
VTS
2007
IEEE
15 years 10 months ago
2007
IEEE
The sensitivity of very deep submicron designs to supply voltage noise is increasing due to higher path delay variations and reduced noise margins with supply noise scaling. The s...
145
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Everyday network interactions require users to give out their email address, yet no guarantees can be made about how this address will be used. Sometimes the address is given to a...