397 search results - page 24 / 80 » Lifting of divisible designs |
FECS
2009
13 years 7 months ago
2009
- Service Oriented Architecture (SOA) is finding increasing acceptance in industry for the design of enterprise-scale, networked applications. However, opportunities to study SOA i...
AEI
2004
13 years 9 months ago
2004
Although the importance of knowledge sharing among designers has been widely recognized, knowledge about functionality in the conceptual design phase is hard to capture and is oft...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
IIHMSP
2006
IEEE
14 years 3 months ago
2006
IEEE
The design of collusion-free codes for data hiding systems is investigated, and two new collusion-free codes are proposed in this work. They are called the Orthogonal Spreading (O...
BELL
2006
13 years 9 months ago
2006
s span three levels of abstraction, from routing and reconfigurable add/drop multiplexer (ROADM) choice, to span engineering, to power dynamics simulation. Each level represents a ...