42 search results - page 4 / 9 » Formalizing Design Spaces: Implicit Invocation Mechanisms |
SAC
2004
ACM
14 years 24 days ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...
SCOPES
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
AIM
2002
13 years 7 months ago
2002
We examine the design space of auction mechanisms and identify three core activities that structure this space. Formal parameters qualifying the performance core activities enable...
ICCS
2003
Springer
14 years 18 days ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...
BMCBI
2007
13 years 7 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...