1689 search results - page 209 / 338 » Empirical Methodologies in Software Engineering |
ECOOPWEXCEPTION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
112
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
142
click to vote
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
111
click to vote
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
IUI
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes a concept for creating free configurable, intelligent behaving web dialogues for rule based expert systems. Free configurable is meant to indicate, that the d...