Sciweavers

529 search results - page 62 / 106
» Work stress among information systems professionals
Sort
View
P2P
2008
IEEE
124views Communications» more  P2P 2008»
14 years 3 months ago
A Bandwidth-Aware Scheduling Strategy for P2P-TV Systems
P2P-TV systems distribute live streaming contents by organizing the information flow in small chunks that are exchanged among peers. Different strategies can be implemented at th...
Ana Paula Couto da Silva, Emilio Leonardi, Marco M...
AI
1998
Springer
13 years 8 months ago
Remote Agent: To Boldly Go Where No AI System Has Gone Before
Renewed motives for space exploration have inspired NASA to work toward the goal of establishing a virtual presence in space, through heterogeneous eets of robotic explorers. Info...
Nicola Muscettola, P. Pandurang Nayak, Barney Pell...
APLAS
2005
ACM
14 years 2 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
BMCBI
2010
195views more  BMCBI 2010»
13 years 3 months ago
MBAT: A scalable informatics system for unifying digital atlasing workflows
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...
Daren Lee, Seth Ruffins, Queenie Ng, Nikhil Sane, ...
RR
2009
Springer
14 years 3 months ago
Belief Logic Programming with Cyclic Dependencies
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
Hui Wan