1660 search results - page 113 / 332 » Abstract Application Modeling for System Design Space Explor... |
150
click to vote
APN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
148
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
172
click to vote
IWINAC
2009
Springer
15 years 10 months ago
2009
Springer
Data related to the coordination and modulation between visual information, gaze direction and arm reaching movements in primates are analyzed from a computational point of view. T...
129
click to vote
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
While collaborative filtering and citation analysis have been well studied for research paper recommender systems, content-based approaches typically restrict themselves to straigh...
153
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...