24 search results - page 3 / 5 » forte 2008 |
FORTE
2008
14 years 8 days 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
14 years 9 days 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
14 years 5 months ago
2008
IEEE
SAC
2008
ACM
13 years 10 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
14 years 8 days 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 ...