Sciweavers

5664 search results - page 740 / 1133
» Creativity support tools
Sort
View
CN
2000
95views more  CN 2000»
15 years 6 months ago
The evolution of a manufacturing Web site
The Boeing Commercial Airplanes Wing Responsibility Center (WRC) needed a way to communicate quickly and effectively between its various plant locations. An important requirement ...
Shannon L. Fowler, Anne-Marie J. Novack, Michael J...
ETS
2000
IEEE
193views Hardware» more  ETS 2000»
15 years 6 months ago
The Virtual School: An integrated collaborative environment for the classroom
A significant opportunity presented by the availability of high-speed network access in the classroom is the ability to collaborate with remote students and mentors. To be success...
Philip L. Isenhour, John M. Carroll, Dennis C. Nea...
FGCS
2000
100views more  FGCS 2000»
15 years 6 months ago
Investigating the application of web-based simulation principles within the architecture for a next-generation computer generate
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
Ernest H. Page, Jeffrey M. Opper
FMSD
2000
86views more  FMSD 2000»
15 years 6 months ago
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
Nikolaj Bjørner, Anca Browne, Michael Col&o...
DEBU
2002
144views more  DEBU 2002»
15 years 6 months ago
Definition and Execution of Composite Web Services: The SELF-SERV Project
Web services composition is emerging as a promising technology for the effective automation of businessto-business collaborations. It allows organizations to form alliances by con...
Boualem Benatallah, Marlon Dumas, Zakaria Maamar