10210 search results - page 348 / 2042 » Configuring Database Systems |
139
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
137
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...
116
click to vote
ACL
1992
15 years 4 months ago
1992
The class of linear context-free rewriting systems has been introduced as a generalization of a class of grammar formalisms known as mildly context-sensitive. The recognition prob...
129
click to vote
JSA
2008
15 years 3 months ago
2008
Like most software products, protocols are continuously enhanced and new protocols are developed. But especially new protocols of the transport layer can not be utilized widely ea...
139
click to vote
JUCS
2008
15 years 3 months ago
2008
: This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java R...