1721 search results - page 210 / 345 » Software Reuse: An Overview |
SIGCSE
2008
ACM
13 years 10 months ago
2008
ACM
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...
SYNTHESE
2008
13 years 10 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
CACM
2000
13 years 10 months ago
2000
With the explosive growth of embedded computing hardware, it is possible to conceive many new networked robotic applications for diverse domains ranging from urban search and resc...
ERCIM
2008
13 years 9 months ago
2008
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
GCA
2009
13 years 8 months ago
2009
This paper highlights the need to meet both Grid user and resource provider security requirements, describing the rationale for securing Grid workflows: a set of tasks arranged int...