1829 search results - page 74 / 366 » Towards Validation of Requirements Models |
112
click to vote
SASO
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we study desynchronization, a closelyrelated primitive to graph coloring. A valid graph coloring is an assignment of colors to nodes such that no node’s color is t...
108
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
ICCV
2003
IEEE
15 years 5 months ago
2003
IEEE
Building on recent progress in modeling filter response statistics of natural images we integrate a statistical model into a variational framework for image segmentation. Incorpo...
IADIS
2004
15 years 1 months ago
2004
We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for...
AIMSA
2000
Springer
15 years 4 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...