319 search results - page 43 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
ROBIO
2006
IEEE
15 years 5 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
100
click to vote
ISORC
2008
IEEE
15 years 6 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...
DGO
2007
15 years 1 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
108
click to vote
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— The topological properties of peer-to-peer overlay networks are critical factors that dominate the performance of these systems. Several non-constant and constant degree interc...