8828 search results - page 1345 / 1766 » Formal methods in practice |
190
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
202
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
156
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
206
click to vote
CIDM
2007
IEEE
16 years 1 months ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...
197
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...