4919 search results - page 963 / 984 » A Process-Ontological Model for Software Engineering |
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
SKG
2006
IEEE
15 years 3 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
GROUP
2005
ACM
15 years 3 months ago
2005
ACM
Recent proliferation of computing devices has brought attention to heterogeneous collaborative systems, where key challenges arise from the resource limitations and disparities. S...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
Academics and industry professionals alike have long been interested in developing a nuanced and empirically sound typography of online gamers. Designers and engineers are aware o...
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...