4266 search results - page 200 / 854 » A Framework for Defining Logics |
141
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
142
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we compare the features available for developing secure distributed applications for limited devices, such as smart phones. We limit our scope to examine frameworks...
183
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
Electronic marketplaces are virtual communities where buyers may meet proposals of several suppliers and make the best choice. The exponential increment of the e-commerce amplifie...
182
click to vote
LCN
1999
IEEE
15 years 11 months ago
1999
IEEE
Maintaining the integrity of large-scale networks is becoming an increasingly daunting task as networks expand at an unprecedented rate. The majority of present network monitoring...
155
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a proposal for integrating in a single CORBA middleware platform two important OMG specifications: FTCORBA, which provides fault-tolerance support for CORBA obj...