4480 search results - page 200 / 896 » Prototyping Completion with Constraints Using Computational ... |
145
click to vote
COMGEO
2010
ACM
15 years 6 months ago
2010
ACM
We use Bernstein's Theorem [1] to obtain combinatorial bounds for the number of embeddings of Laman graph frameworks modulo rigid motions. For this, we study the mixed volume...
151
click to vote
GTTSE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
175
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
158
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
206
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...