2004 search results - page 351 / 401 » Comparison of Model Checking Tools for Information Systems |
103
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
: A data warehouse is a database focused on decision making. It is built separately from the transactional (OLTP) databases of the enterprise, although it is partly fed from transa...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
The pharmaceutical industry is facing an ever-increasing demand to discover novel drugs that are more effective and safer than existing ones. The industry faces huge problem in im...
EDOC
2009
IEEE
15 years 6 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...