9443 search results - page 361 / 1889 » Web-centric language models |
216
click to vote
ACL
2012
13 years 9 months ago
2012
There has been recent interest in the problem of decoding letter substitution ciphers using techniques inspired by natural language processing. We consider a different type of cla...
173
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
153
Voted
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
163
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
182
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...