1516 search results - page 98 / 304 » Trends in Software Verification |
151
click to vote
ANLP
1997
15 years 4 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...
121
Voted
SAC
2011
ACM
14 years 6 months 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...
143
click to vote
CBSE
2010
Springer
15 years 8 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...
129
click to vote
OTM
2010
Springer
15 years 1 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 ...
113
click to vote
SAFECOMP
2000
Springer
15 years 7 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...