1580 search results - page 205 / 316 » CoTeSys - Cognition for Technical Systems |
161
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed energy resources (DER) are in transition from the lab to the marketplace. The defining characteristic of DER is that they are active devices installed at the distribut...
173
click to vote
CASCON
1993
15 years 7 months ago
1993
The growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number o...
193
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
263
click to vote
ICDE
1999
IEEE
1999
IEEE
Working Together in Harmony - An Implementation of the CORBA Object Query Service and Its Evaluation
16 years 7 months ago
The CORBA standard, together with its service specifications, has gained considerable attention in recent years. The CORBA Object Query Service allows for declarative access to he...
177
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...