2106 search results - page 97 / 422 » Specifying C concepts |
104
click to vote
APIN
2007
15 years 3 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
123
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
128
click to vote
JVCA
2008
15 years 2 months ago
2008
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
145
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
110
click to vote
DLOG
2003
15 years 4 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...