1894 search results - page 289 / 379 » A TLA Proof System |
131
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In this paper we present a dual-based decomposition method, called here the proximal center method, to solve distributed model predictive control (MPC) problems for cou...
113
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
130
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
116
click to vote
WWW
2005
ACM
15 years 9 months ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
140
click to vote
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...