9006 search results - page 307 / 1802 » Modeling Software |
165
Voted
AII
1989
15 years 10 months ago
1989
In the recent development ofwrious models of learning inspired by the PAC learning model (introduced by Valiant) there has been a trend towards models which are as representation ...
144
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
170
click to vote
WECWIS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper introduces a new mediation mechanism into agent negotiations. The negotiation mechanism takes a supply-chain perspective to the construction of software services, attem...
187
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
163
click to vote
WICSA
2008
15 years 8 months ago
2008
An organization is architecturally competent if it has the ability to acquire, use and sustain the skills and knowledge necessary to carry out architecture-related practices that ...