3425 search results - page 628 / 685 » A Model Driven Approach for Software Systems Reliability |
152
click to vote
MIDDLEWARE
2005
Springer
15 years 8 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
111
click to vote
AUIC
2000
IEEE
15 years 7 months ago
2000
IEEE
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
122
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
129
click to vote
COMPSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
157
click to vote
LCPC
1995
Springer
15 years 6 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...