2050 search results - page 310 / 410 » A formal foundation for process modeling |
184
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, we propose to combine formally noise and shape priors in region-based active contours. On the one hand, we use the general framework of exponential family as a prio...
154
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
147
click to vote
DEXAW
2003
IEEE
16 years 2 days ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
179
click to vote
APN
2000
Springer
15 years 11 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
163
Voted
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
This paper examines how service providers may resolve the trade-off between their personalization efforts and users' individual privacy concerns. We analyze how negotiation te...