10038 search results - page 544 / 2008 » Model Checking for Managers |
208
click to vote
IM
1997
15 years 8 months ago
1997
In this paper, we will introduce two different three dimensional VR-based user interface for telecommunication network management. The first one is an immersive system, using HMD ...
190
click to vote
ISTA
2004
15 years 8 months ago
2004
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
291
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Scientific research is becoming increasingly relied on collaborative effort among multiple institutions and interdisciplinary consortium, through sharing experiments and data, and...
234
click to vote
IDEAS
2009
IEEE
16 years 1 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
190
click to vote
IDEAS
2009
IEEE
16 years 1 months ago
2009
IEEE
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...