929 search results - page 157 / 186 » Computer assistance for model definition |
ESORICS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
FMCAD
2006
Springer
14 years 2 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
FOIKS
2008
Springer
2008
Springer
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
14 years 13 days ago
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
GISCIENCE
2010
Springer
13 years 11 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
CCE
2008
13 years 11 months ago
2008
We present a novel approach for solving different design problems related to single products in multipurpose batch plants: the selection of one production line out of several avai...