12741 search results - page 86 / 2549 » Editorial and call for papers |
175
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
143
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Structured embedded databases are currently becoming an integrated part of embedded systems, thus, enabling higher standards in system automation. These embedded databases are typ...
149
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
158
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques...
160
click to vote
ICECCS
1995
IEEE
15 years 9 months ago
1995
IEEE
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...