3605 search results - page 182 / 721 » Analysis and Applications of the XDI model |
167
click to vote
JSS
1998
15 years 6 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
159
click to vote
EMISA
2005
Springer
16 years 2 days ago
2005
Springer
Stable component models are an essential prerequisite for developing customer-individual business applications. Thereby the information for the identification and specification of ...
154
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
—We propose a frequency-domain modeling technique with applications on the statistical timing analysis of clock mesh/grid networks. Using transmission lines to model clock mesh e...
121
click to vote
ACL
2007
15 years 8 months ago
2007
A standard form of analysis for linguistic typology is the universal implication. These implications state facts about the range of extant languages, such as “if objects come af...
180
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...