2271 search results - page 187 / 455 » Scalable Software Libraries |
105
click to vote
IHM
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a library of Dialogical Widget for a mediator architecture. It provides a development framework for software designers willing to include a conversational ass...
130
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
102
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...
116
click to vote
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a quantitative analysis of the reuse of learning objects in real world settings. The data for this analysis was obtained from three sources: Connexions' mo...
126
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
This is an example of C++ code of Clifford algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produ...