Sciweavers

3216 search results - page 445 / 644
» The Oregon Software Development Process
Sort
View
MSV
2004
15 years 8 months ago
Design and Implementation of a Workflow Rendering Engine
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...
Jason A. Pamplin, Ying Zhu
ISICT
2003
15 years 8 months ago
On the automated implementation of modal logics used to verify security protocols
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
Tom Coffey, Reiner Dojen, Tomas Flanagan
IFIP3
1998
106views Education» more  IFIP3 1998»
15 years 8 months ago
Conception and Realization of the Offline Navigator in the Virtual University
The concept of the Virtual University offers a new learning environment for distance education. All the functionalities of a conventional university are available to the students ...
Thomas Demuth, Andreas Rieke, Dagmar Sommer
IJMTM
2000
175views more  IJMTM 2000»
15 years 6 months ago
Reconfigurable manufacturing systems and their enabling technologies
A reconfigurable manufacturing system (RMS) is designed for rapid adjustment of production capacity and functionality in response to new market conditions and new process technolo...
Mostafa G. Mehrabi, A. Galip Ulsoy, Yoram Koren
OOPSLA
2004
Springer
15 years 12 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed