Sciweavers

4934 search results - page 354 / 987
» complexity 2008
Sort
View
DSS
2008
83views more  DSS 2008»
15 years 7 months ago
Knowledge discovery for adaptive negotiation agents in e-marketplaces
Intelligent software agents are promising in improving the effectiveness of e-marketplaces for e-commerce. Although a large amount of research has been conducted to develop negoti...
Raymond Y. K. Lau, Yuefeng Li, Dawei Song, Ron Chi...
DT
2008
75views more  DT 2008»
15 years 7 months ago
Application Scenarios in Streaming-Oriented Embedded-System Design
In the past decade real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, perfo...
Stefan Valentin Gheorghita, Twan Basten, Henk Corp...
ENTCS
2008
135views more  ENTCS 2008»
15 years 6 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
ENTCS
2008
105views more  ENTCS 2008»
15 years 6 months ago
Development of a Modelica Compiler Using JastAdd
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
Johan Åkesson, Torbjörn Ekman, Gör...
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Quantum Data and Control Made Easier
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
Michael Lampis, Kyriakos G. Ginis, Michalis A. Pap...