10038 search results - page 325 / 2008 » Model Checking for Managers |
211
click to vote
ECIS
2003
15 years 8 months ago
2003
XML has been known as a document standard in representation and exchange of data on the Internet, and is also used as a standard language for the search and reuse of scattered doc...
155
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
165
click to vote
IM
2003
15 years 8 months ago
2003
: Quantitative models are needed for a variety of management tasks, including (a) identification of critical variables to use for health monitoring, (b) anticipating service level...
211
click to vote
ER
2007
Springer
16 years 26 days ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
188
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Architectural Design Decisions (ADD) form a key element of Architectural Knowledge (AK), which plays a vital role in the software architecture process. To help manage ADDs, seve...