24 search results - page 3 / 5 » forte 2008 |
FORTE
2008
13 years 6 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
COLING
2008
13 years 6 months ago
2008
We present a chain of tools used by grammarians and computer scientists to develop grammatical and lexical resources from linguistic knowledge, for various natural languages. The ...
COLCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
SAC
2008
ACM
13 years 4 months ago
2008
ACM
This paper presents the QoS-MO ontology. This ontology enables the specification of QoS requirements for Semantic Web Services and can easily be combined with OWL-S in order to fu...
FORTE
2008
13 years 6 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...