3555 search results - page 452 / 711 » Security-Critical System Development with Extended Use Cases |
173
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The Common Instrument Middleware Architecture (CIMA) model for Web services based monitoring of remote scientific instruments is being extended and enhanced to provide a capabil...
181
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
221
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...
202
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract We develop a distance metric for clustering and classification algorithms which is invariant to affine transformations and includes priors on the transformation parameters...
154
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
For embodied agents to engage in realistic multiparty conversation, they must stand in appropriate places with respect to other agents and the environment. When these factors chan...