424 search results - page 28 / 85 » Realizability models and implicit complexity |
ICSEA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
JMLR
2010
13 years 3 months ago
2010
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...
EMISA
2004
Springer
14 years 2 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
EDOC
2004
IEEE
14 years 13 days ago
2004
IEEE
A major contributing factor to the complexity of creating and evolving distributed systems is the tangling of middleware-specific functionality with core business functionality in...