1890 search results - page 93 / 378 » A component model for building systems software |
117
Voted
IS
1998
15 years 8 days ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
100
Voted
WSC
2000
15 years 1 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
98
Voted
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
109
click to vote
VLDB
2002
ACM
15 years 7 days ago
2002
ACM
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...
110
click to vote
ASE
2005
15 years 15 days ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...