3564 search results - page 293 / 713 » Evaluating a Formal Modelling Language |
170
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
129
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
132
click to vote
DGO
2003
15 years 6 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
157
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
101
click to vote
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
We present a syllable bigram model for segmenting a Korean sentence into words and correcting word-spacing errors in the spelling checker. We evaluated the system’s performance ...