1301 search results - page 27 / 261 » Specifications via Realizability |
IJEIS
2010
13 years 4 months ago
2010
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a method for the detection of instances of an
object class, such as cars or pedestrians, in natural images.
Similarly to some previous works, this is accomplished via
...
DATE
2003
IEEE
14 years 25 days ago
2003
IEEE
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
DSOM
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
CAISE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...