15727 search results - page 3049 / 3146 » Software Engineering - Introduction |
147
click to vote
VRML
2003
ACM
15 years 8 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
130
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
148
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
111
click to vote
CLUSTER
2002
IEEE
15 years 8 months ago
2002
IEEE
Clusters have made the jump from lab prototypes to fullfledged production computing platforms. The number, variety, and specialized configurations of these machines are increasi...
129
click to vote
IWMM
2010
Springer
15 years 7 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...