1525 search results - page 272 / 305 » Formal Models for Communication-Based Design |
120
Voted
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
110
Voted
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
126
click to vote
SCP
2010
14 years 11 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
121
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
118
Voted
ECIS
2001
15 years 1 months ago
2001
Despite evidence that the majority of knowledge management (KM) initiatives miscarry, there has been a paucity of critical, in-depth research into the causes of failure. In this p...