267 search results - page 41 / 54 » Cross-Platform Development: Software that Lasts |
106
Voted
ICVS
1999
Springer
15 years 1 months ago
1999
Springer
While computing power and transmission bandwidth have both been steadily increasing over the last few years, bandwidth rather than processing power remains the primary bottleneck f...
83
Voted
RTSS
1998
IEEE
15 years 1 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
ADG
2006
Springer
15 years 1 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
COST
2008
Springer
14 years 11 months ago
2008
Springer
The quality of static phones (e.g. vowels, fricatives, nasals, laterals) generated by articulatory speech synthesizers has reached a high level in the last years. Our goal is to ex...