5085 search results - page 375 / 1017 » Multidimensional Design by Examples |
201
Voted
JANCL
2006
15 years 7 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
192
Voted
JSW
2008
15 years 7 months ago
2008
Abstract-- Securely managing shared information in distributed environments across multiple organisations is a challenge. Distributed information management systems must be able to...
183
click to vote
EOR
2007
15 years 7 months ago
2007
The stability domain is a feasible set for numerous optimization problems. D-decomposition technique is targeted to describe the stability domain in the parameter space for linear...
175
click to vote
PPL
2008
15 years 7 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
191
Voted
ISF
2007
15 years 7 months ago
2007
—Successful secure knowledge management requires consideration of both technical and organizational concerns. We use the example of existing industrial incident management system...