Sciweavers

1734 search results - page 90 / 347
» its 2000
Sort
View
CAISE
2000
Springer
15 years 2 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
ITS
2000
Springer
159views Multimedia» more  ITS 2000»
15 years 1 months ago
Can We Learn from ITSs?
With the rise of VR, the internet, and mobile technologies and the shifts in educational focus from teaching to learning and from solitary to collaborative work, it's easy (bu...
Benedict du Boulay
WSC
2000
14 years 11 months ago
Enterprise Simulation: framework for a strategic application
The term Enterprise Simulation (ES) is gaining acceptance among simulation practitioners. It is coming to represent certain tangible attributes, and its benefits seem apparent in ...
Milind M. Datar
VLDB
2000
ACM
119views Database» more  VLDB 2000»
15 years 1 months ago
Process Automation as the Foundation for E-Business
E-business is becoming the trademark of the 2000s. Companies are using the Web to communicate with their partners, connect with their back-end systems, and perform e-commerce tran...
Fabio Casati, Ming-Chien Shan
SC
2000
ACM
15 years 2 months ago
A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software with Templates
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
Kathleen A. Lindlan, Janice E. Cuny, Allen D. Malo...