10038 search results - page 339 / 2008 » Model Checking for Managers |
180
click to vote
JUCS
2007
15 years 6 months ago
2007
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
176
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
166
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Personnel risk is an issue which has not been researched well but plays an important role to determine whether a software project succeeds or fails. Most existing work focuses on ...
171
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
181
click to vote
FPCA
1995
15 years 10 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...