4469 search results - page 202 / 894 » A Language for Role Specifications |
165
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
IANDC
2006
15 years 6 months ago
2006
Cousot and Cousot introduced and studied a general past/future-time specification language, called
209
click to vote
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
156
click to vote
ISCC
2005
IEEE
16 years 5 days ago
2005
IEEE
We evaluate the impact of network, and protocol heterogeneity on real-time application performance. We focus on TCP and UDP supportive role, also in the context of network stabili...
156
click to vote
EGOV
2009
Springer
15 years 10 months ago
2009
Springer
Castes, or endogamous kinship relationships, are prevalent in communities across the world and particularly in developing countries. Caste plays a strong role in determining commu...