10038 search results - page 603 / 2008 » Model Checking for Managers |
173
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
: This paper discusses the complexities involved in managing and monitoring the delivery of IT services in a multiparty outsourcing environment. The complexities identified are gro...
174
click to vote
WSC
1996
15 years 8 months ago
1996
We describe the application of simulation and statistical analyses to the improvement of a shipping and distribution system supporting a component-fabrication plant and two automo...
230
click to vote
JOT
2007
15 years 7 months ago
2007
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
206
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
178
click to vote
LREC
2010
15 years 8 months ago
2010
This paper introduces the Ariadne Corpus Management System. First, the underlying data model is presented which enables users to represent and process heterogeneous data sets with...