1525 search results - page 249 / 305 » Formal Models for Communication-Based Design |
96
Voted
SCCC
1998
IEEE
15 years 4 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
82
Voted
HRI
2007
ACM
15 years 4 months ago
2007
ACM
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
103
click to vote
SIROCCO
2008
15 years 2 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
125
click to vote
RML
2002
15 years 9 days ago
2002
Conceptual modeling techniques such as EER, ORM and to some extent the UML have been developed in the past for building information systems. These techniques or suitable extensions...
122
Voted
TCAD
2002
15 years 8 days ago
2002
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...