1234 search results - page 173 / 247 » An evaluation of conceptual business process modelling langu... |
126
click to vote
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
117
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
We describe a new approach for rescoring speech lattices — with long-span language models or wide-context acoustic models — that does not entail computationally intensive latt...
127
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
121
Voted
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
130
click to vote
JUCS
2010
15 years 8 days ago
2010
: Online customer reviews is considered as a significant informative resource which is useful for both potential customers and product manufacturers. In web pages, the reviews are ...