Sciweavers

1459 search results - page 93 / 292
» Tool Supported Development of Service-Based Systems
Sort
View
129
Voted
ICFEM
2004
Springer
15 years 9 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
118
Voted
HCI
2007
15 years 5 months ago
Everyday Storytelling: Supporting the Mediated Expression of Online Personal Testimony
Personal stories make our everyday experiences memorable over time. This paper presents ‘Everyday Mediated Storytelling’, a model of the casual storyteller’s process of captu...
Aisling Kelliher, Glorianna Davenport
109
Voted
IAAI
1993
15 years 5 months ago
ESDS: Materials Technology Knowledge Bases Supporting Design of Boeing Jetliners
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
Mark A. Dahl
128
Voted
IWPC
2003
IEEE
15 years 9 months ago
Scaling an Object-Oriented System Execution Visualizer through Sampling
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
Andrew Chan, Reid Holmes, Gail C. Murphy, Annie T....
139
Voted
JUCS
2008
148views more  JUCS 2008»
15 years 3 months ago
SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
Ana Belén Gil, Raquel Rodríguez, Fra...