1153 search results - page 220 / 231 » Compositional Specification Calculus for Information Systems... |
221
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
The proliferation of database-driven web sites (or web-databases) has brought upon a plethora of applications where both Quality of Service (QoS) and Quality of Data (QoD) are of ...
114
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
116
click to vote
CIKM
2001
Springer
15 years 6 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
120
click to vote
JTAER
2007
15 years 1 months ago
2007
Nowadays, organizational innovation constitutes the government challenges for providing better and more efficient services to citizens, enterprises or other public offices. E–go...
138
click to vote
AH
2008
Springer
15 years 8 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...