1796 search results - page 324 / 360 » An Approach to Compositional Model Checking |
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
ICDS
2010
IEEE
14 years 1 months ago
2010
IEEE
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...
GRID
2003
Springer
14 years 1 months ago
2003
Springer
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...
EUROCAST
2001
Springer
14 years 14 days ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
DAC
1999
ACM
14 years 9 days ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...