1099 search results - page 47 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
152
click to vote
SEKE
2001
Springer
15 years 10 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
216
click to vote
STORAGESS
2005
ACM
15 years 11 months ago
2005
ACM
We describe a novel approach for building a secure and fault tolerant data storage service in collaborative work environments, which uses perfect secret sharing schemes to store d...
186
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...
179
click to vote
JIPS
2010
15 years 28 days ago
2010
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...
162
click to vote
ICFCA
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...