2141 search results - page 259 / 429 » Embedded Software |
114
click to vote
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...
126
Voted
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
104
click to vote
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
134
Voted
COSIT
2009
Springer
15 years 9 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...