10038 search results - page 491 / 2008 » Model Checking for Managers |
182
click to vote
HICSS
2002
IEEE
16 years 20 hour ago
2002
IEEE
We presented at HICSS-34 a new methodology based on the semantics of contracts to model business and, beyond, to manage the knowledge assets of a firm. In this paper we present tw...
174
click to vote
SIGSOFT
1993
ACM
15 years 11 months ago
1993
ACM
Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been lim...
206
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
199
click to vote
WSC
2004
15 years 8 months ago
2004
Air traffic flow management (TFM) is a set of processes and procedures which seek to balance the demand for airspace resources with the capacity of these resources. Examples of re...
183
click to vote
ACSD
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...