1449 search results - page 265 / 290 » Finiteness results for sigmoidal |
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
102
click to vote
WWW
2004
ACM
16 years 14 days ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
CAV
2009
Springer
16 years 10 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
TCC
2009
Springer
16 years 10 days ago
2009
Springer
We study the complexity of securely evaluating arithmetic circuits over finite rings. This question is motivated by natural secure computation tasks. Focusing mainly on the case o...