9110 search results - page 242 / 1822 » Formally-Based Design Evaluation |
193
click to vote
ERSA
2008
15 years 8 months ago
2008
Coarse-grained dynamically reconfigurable processor arrays (DRPAs) have been received an attention as a flexible and efficient off-loading engine for various types of System-on-Ch...
182
click to vote
AIPS
2006
15 years 7 months ago
2006
Mixed-Initiative approaches to Planning and Scheduling are being applied in different real world domains. While several recent successful examples of such tools encourage a wider ...
175
click to vote
APPINF
2003
15 years 7 months ago
2003
A commercial-off-the-shelf (COTS) component is an implementation of common functionality among family members, where an in-house component implements an organization-specific func...
174
click to vote
FORTE
2000
15 years 7 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
164
click to vote
JSAC
2006
15 years 6 months ago
2006
Within the realm of network security, we interpret the concept of trust as a relation among entities that participate in various protocols. Trust relations are based on evidence cr...