3130 search results - page 143 / 626 » Design Correctness of Digital Systems |
122
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
206
click to vote
CBSE
2011
Springer
14 years 3 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
119
click to vote
ECBS
2002
IEEE
15 years 8 months ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
114
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this digital era, digital multimedia contents are often transmitted over networks without any protection. This raises serious security concerns since the receivers/subscribers ...
136
click to vote
TVCG
2010
15 years 2 months ago
2010
—Graphics artists commonly employ physically-based simulation for the generation of effects such as smoke, explosions, and similar phenomena. The task of finding the correct par...