2271 search results - page 187 / 455 » Scalable Software Libraries |
137
click to vote
IHM
2005
ACM
16 years 16 days 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...
199
click to vote
ICFEM
2004
Springer
16 years 11 days 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, ...
141
Voted
EURODAC
1994
IEEE
15 years 11 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 ...
156
Voted
ECTEL
2008
Springer
15 years 8 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...
164
Voted
CORR
2004
Springer
15 years 6 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...