Sciweavers

8008 search results - page 1210 / 1602
» Computer-Aided Language Processing
Sort
View
131
Voted
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
15 years 9 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
AINA
2005
IEEE
15 years 9 months ago
OWL-Based Approach for Semantic Interoperability
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
Seksun Suwanmanee, Djamal Benslimane, Philippe Thi...
124
Voted
CEC
2005
IEEE
15 years 9 months ago
Music evolution in a complex system of interacting agents
The evolution of music, from random note strings to certain “pleasant” note sequences, is traced in a multi-agent computational model. A community of agents, with some musical ...
Tao Gong, Qian Zhang, Hua Wu
122
Voted
ECRTS
2005
IEEE
15 years 9 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
126
Voted
FDL
2005
IEEE
15 years 9 months ago
SystemC-WMS: A Wave Mixed Signal Simulator
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
Simone Orcioni, Giorgio Biagetti, Massimo Conti
« Prev « First page 1210 / 1602 Last » Next »