1799 search results - page 266 / 360 » The Logic of Correctness in Software Engineering |
148
click to vote
WCRE
2008
IEEE
16 years 24 days ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
169
click to vote
CISSE
2007
Springer
16 years 18 days ago
2007
Springer
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
168
click to vote
SEFM
2006
IEEE
16 years 13 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
154
click to vote
SEFM
2005
IEEE
16 years 26 min ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
172
click to vote
AADEBUG
2005
Springer
15 years 12 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...