7971 search results - page 124 / 1595 » On unbounded operators and applications |
149
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
145
click to vote
ICWE
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
195
click to vote
JMIV
2002
15 years 6 months ago
2002
This paper develops a multiscale connectivity theory for shapes based on the axiomatic definition of new generalized connectivity measures, which are obtained using morphology-base...
158
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
Crossover operators that preserve common components can also preserve representation level constraints. Consequently, these constraints can be used to beneficially reduce the sea...
173
click to vote
USENIX
2007
15 years 8 months ago
2007
Commercial operating systems have recently introduced mandatory access controls (MAC) that can be used to ensure system-wide data confidentiality and integrity. These protections...