3801 search results - page 301 / 761 » An Approach to Modeling Software Safety |
206
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
159
click to vote
EUC
2005
Springer
16 years 5 days ago
2005
Springer
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...
153
click to vote
ACRI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Polymer injection in moulds with complicated shapes is common in todays industrial problems. A challenge is to optimize the mould design which leads to the most homogeneo...
157
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
181
click to vote
SERP
2004
15 years 8 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...