262 search results - page 23 / 53 » Making Specifications Complete Through Models |
157
click to vote
TOPNOC
2010
14 years 6 months ago
2010
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...
128
Voted
DMDW
2003
15 years 1 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
104
click to vote
SSDBM
2006
IEEE
15 years 5 months ago
2006
IEEE
Signaling pathways are chains of interacting proteins, through which the cell converts a (usually) extracellular signal into a biological response. The number of known signaling p...