30267 search results - page 153 / 6054 » Process Modelling Languages |
145
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we describe modifications to a natural language grocery retrieval system, introduced in our earlier work. We also compare our system against an off-the-shelf retriev...
149
Voted
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...
142
Voted
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
146
Voted
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
118
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...