4190 search results - page 606 / 838 » Implementing commitment-based interactions |
127
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
127
Voted
W2GIS
2007
Springer
15 years 9 months ago
2007
Springer
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...
126
click to vote
ANSS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Computer simulations of complex systems such as physical aggregation processes or swarming and collective behaviour of life-forms, often require order N-squared computational c...
123
click to vote
ASWEC
2006
IEEE
15 years 9 months ago
2006
IEEE
Over-the-air (OTA) delivery of applications is important to support as it enables easy deployment and upgrades to applications, thereby reducing the disrupting effect which instal...
166
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...