643 search results - page 113 / 129 » Semantic Determinism and Functional Logic Program Properties |
82
Voted
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
FM
2003
Springer
15 years 2 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
SGAI
2007
Springer
15 years 3 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
169
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
179
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...