319 search results - page 47 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
RSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...
120
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
203
click to vote
GIS
2008
ACM
16 years 24 days ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
115
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...