1655 search results - page 269 / 331 » Stemming in the language modeling framework |
155
click to vote
CP
2007
Springer
16 years 7 days ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
156
click to vote
ICWE
2007
Springer
16 years 7 days ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
145
Voted
MSR
2006
ACM
16 years 1 days ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
148
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
137
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...