1153 search results - page 157 / 231 » Compositional Specification Calculus for Information Systems... |
139
Voted
ADC
2003
Springer
15 years 8 months ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, con...
107
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
129
Voted
IUI
2010
ACM
16 years 14 days ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
116
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
120
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The World-Wide Web was originally developed as a shared, writable, hypertext medium, a facility that is still widely needed. We have recently developed a Web-based management repo...