Sciweavers

5457 search results - page 853 / 1092
» Software Component Independence
Sort
View
ECAI
2010
Springer
15 years 7 months ago
On Testing Answer-Set Programs
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch...
ARC
2010
Springer
183views Hardware» more  ARC 2010»
15 years 6 months ago
Integrated Design Environment for Reconfigurable HPC
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
Lilian Janin, Shoujie Li, Doug Edwards
ECSA
2010
Springer
15 years 6 months ago
On representing variation
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...
Rich Hilliard
AIL
2008
109views more  AIL 2008»
15 years 6 months ago
Artificial institutions: a model of institutional reality for open multiagent systems
Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, ...
Nicoletta Fornara, Francesco Viganò, Mario ...
168
Voted
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 6 months ago
The Korrontea Data Modeling
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
Emmanuel Bouix, Philippe Roose, Marc Dalmau