929 search results - page 69 / 186 » Computer assistance for model definition |
ICCSA
2003
Springer
15 years 3 months ago
2003
Springer
It is necessary to have the precise definition of available performance of high availability systems that can represent the availability and performability of the systems altogethe...
JAIR
2008
14 years 9 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
124
click to vote
ASE
1998
14 years 9 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
AIRS
2010
Springer
14 years 7 months ago
2010
Springer
This paper is concerned with a new task of ranking, referred to as "supplementary data assisted ranking", or "supplementary ranking" for short. Different from c...
167
click to vote
FORTE
2011
14 years 1 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...