403 search results - page 55 / 81 » Contracts for higher-order functions |
152
click to vote
EOR
2010
15 years 6 months ago
2010
Resources including various assets of supply chains, face random demand over time and can be shared by others. We consider an operational setting where a resource is shared by two...
161
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
149
click to vote
PTS
2008
15 years 7 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
202
click to vote
SIAMCOMP
2002
15 years 5 months ago
2002
We characterize all limit laws of the quicksort type random variables defined recursively by Xn d = XIn + X n-1-In + Tn when the "toll function" Tn varies and satisfies ...
135
Voted
ICSE
2009
IEEE-ACM
16 years 25 days ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...