10038 search results - page 314 / 2008 » Model Checking for Managers |
157
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...
157
click to vote
JTAER
2007
15 years 6 months ago
2007
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...
168
click to vote
GEOINFORMATICA
1998
15 years 6 months ago
1998
An approach to an interoperable object-oriented GIS-framework for atmospheric modeling (AtmoGIS), which can be used to implement integrated information systems, is presented. The ...
145
click to vote
INFORMS
1998
15 years 6 months ago
1998
stracts of Integer Programming Course By Vinodhshankar Balasubramanian An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System (NAS) – ...
153
click to vote
ICISS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Trust can be used to measure our confidence that a secure system behaves as expected. We had previously proposed a vector model of trust [1]. In this work we address the...