10038 search results - page 432 / 2008 » Model Checking for Managers |
151
click to vote
AICCSA
2005
IEEE
16 years 17 days ago
2005
IEEE
A critical issue in multicast communication is how to identify multicast groups. In the Internet, multicast addresses and port numbers distinguish multicast groups from each other...
174
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
185
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
174
click to vote
IM
2007
15 years 8 months ago
2007
— The objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (Simple Policy Language for CIM) that complies with the CIM (Common Inform...
203
click to vote
CI
2004
15 years 6 months ago
2004
Most of the research inthe area of expert finding focuses on creating and maintaining centralized directories of experts' profiles, which users can search on demand. However, ...