Sciweavers

18769 search results - page 3437 / 3754
» Requirements Models in Context
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Roles as a Coordination Construct: Introducing powerJava
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
Matteo Baldoni, Guido Boella, Leendert W. N. van d...
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
ENVSOFT
2006
76views more  ENVSOFT 2006»
15 years 6 months ago
LQGraph: A software package for optimizing connectivity in conservation planning
LQGraph implements methods for optimizing the connectivity of sites administered to protect biodiversity (a conservation area network). The methods are suitable for existing prote...
Trevon Fuller, Sahotra Sarkar
EOR
2006
106views more  EOR 2006»
15 years 6 months ago
Synergy analysis of collaborative supply chain management in energy systems using multi-period MILP
Energy, a fundamental entity of modern life, is usually produced using fossil fuels as the primary raw material. A consequence of burning fossil fuels is the emission of environme...
Ahu Soylu, Cihan Oruç, Metin Türkay, K...
IJCV
2008
173views more  IJCV 2008»
15 years 6 months ago
Fast Non-Rigid Surface Detection, Registration and Realistic Augmentation
We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches be...
Julien Pilet, Vincent Lepetit, Pascal Fua
« Prev « First page 3437 / 3754 Last » Next »