1463 search results - page 77 / 293 » Software engineering practices in Singapore |
136
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
166
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
198
click to vote
ACMACE
2005
ACM
15 years 12 months ago
2005
ACM
Immersing players in believable and engaging virtual environments is a common goal for many interactive computer games. While PC-based audio only games set in virtual worlds have ...
149
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and by numerical errors in the model building software...
160
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...