9018 search results - page 1289 / 1804 » 3D-Brain Model Software |
192
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
170
click to vote
JMLR
2011
15 years 2 months ago
2011
The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...
237
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
207
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
302
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...