876 search results - page 148 / 176 » Integrating Preferences into Goal Models for Requirements En... |
111
Voted
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
118
click to vote
DFG
2003
Springer
15 years 7 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
115
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...
89
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...
124
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...