9455 search results - page 1503 / 1891 » The Modelling Language Zinc |
182
click to vote
AAI
2006
15 years 7 months ago
2006
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...
175
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
175
click to vote
IEICET
2006
15 years 6 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
188
Voted
JUCS
2008
15 years 6 months ago
2008
: Communications ecosystem covers a huge area from technical issues to business models and human behaviour. Due to this extreme diversity various societies need to discuss with eac...
191
click to vote
JIPS
2006
15 years 6 months ago
2006
: We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atom...