378 search results - page 39 / 76 » Structural Computing in the Collaborative Work Domain |
CBMS
2003
IEEE
14 years 27 days ago
2003
IEEE
The market for health care systems supporting physicians and improving their daily routine is steadily growing. The development of these systems requires handling medical knowledg...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
—Online shopping has grown rapidly over the past few years. Besides the convenience of shopping directly from ones home, an important advantage of e-commerce is the great variety...
ENTCS
2008
13 years 7 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes an algorithm that allows Linux to perform multilevel load balancing in NUMA computers. The Linux scheduler implements a load balancing algorithm that uses str...