2556 search results - page 184 / 512 » The Triconnected Abstraction of Process Models |
175
click to vote
INLG
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Although humans are the ultimate “natural language generators”, the area of psycholinguistic modeling has been somewhat underrepresented in recent approaches to Natur...
182
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
175
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
196
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...
230
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...