10038 search results - page 271 / 2008 » Model Checking for Managers |
163
click to vote
FLAIRS
2001
15 years 8 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
160
click to vote
JSA
2006
15 years 6 months ago
2006
Nowadays, organizations face with a very high competitiveness and for this reason they have to continuously improve their processes. Two key aspects to be considered in the softwa...
181
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
164
click to vote
IADIS
2003
15 years 8 months ago
2003
Our research focuses on web information management for people who want to monitor and use the World Wide Web (WWW) information, as their information resource. Web information is m...
164
click to vote
SCP
2008
15 years 6 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...