2362 search results - page 135 / 473 » Programming in Standard ML |
251
click to vote
CC
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
136
click to vote
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
138
click to vote
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
134
click to vote
GI
2005
Springer
15 years 9 months ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
153
click to vote
AUSSOIS
2001
Springer
15 years 8 months ago
2001
Springer
In recent years the branch-and-cut method, a synthesis of the classical branch-and-bound and cutting plane methods, has proven to be a highly successful approach to solving large-s...