21342 search results - page 3779 / 4269 » A Structured Language Model |
130
Voted
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
The “localness” of participation in repositories of usergenerated content (UGC) with geospatial components has been cited as one of UGC’s greatest benefits. However, the deg...
164
Voted
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
127
Voted
SAC
2010
ACM
15 years 11 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
156
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
151
Voted
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...