5188 search results - page 236 / 1038 » Information Flow in Interactive Systems |
284
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
199
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
192
click to vote
WSC
2001
15 years 8 months ago
2001
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...
172
click to vote
ESANN
2007
15 years 8 months ago
2007
Since perceptual and motor processes in the brain are the result of interactions between neurons, layers and areas, a lot of attention has been directed towards the development of...
140
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Work in the new millennium requires globally distributed organizational members to collaborate in groups and make decisions. In general, research has shown that groups that use fa...