23098 search results - page 221 / 4620 » Component Based Development |
186
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
189
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
170
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a generic software architecture for large-scale distributed applications in which mobile agents are an integral part. We developed this architecture through th...
182
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...
173
click to vote
AIED
2007
Springer
16 years 23 days ago
2007
Springer
One possible approach to reducing the cost of developing an intelligent tutoring system (ITS) is to reuse the components of an existing ITS. We used this approach to develop an And...