1516 search results - page 98 / 304 » Trends in Software Verification |
ANLP
1997
13 years 11 months ago
1997
We classify and review current approaches to software infrastructure for research, development and delivery of NLP systems. The task is motivated by a discussion of current trends...
SAC
2011
ACM
13 years 27 days ago
2011
ACM
More and more functionality is provided by mobile phones today; this trend will continue over the next years. However, with the increasing functionality new risks go along. This n...
CBSE
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
OTM
2010
Springer
13 years 8 months ago
2010
Springer
The current trend of increasingly larger Web-based applications makes scalability the key challenge when developing, deploying, and maintaining data centers. At the same time, the ...
SAFECOMP
2000
Springer
14 years 1 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...