8719 search results - page 222 / 1744 » A Categorical Approach to Simulations |
109
click to vote
EICS
2010
ACM
15 years 3 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
117
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...
117
click to vote
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
120
click to vote
EKAW
2008
Springer
15 years 3 months ago
2008
Springer
Ontology-driven search applications use ontological concepts either to index documents or to guide and understand the users. Since ontologies by nature are domain-dependent and app...
110
Voted
ISLPED
2007
ACM
15 years 3 months ago
2007
ACM
Based on operand delivery, existing microprocessors can be categorized into architected register file (ARF) or physical register file (PRF) machines, both with or without payload ...