10707 search results - page 593 / 2142 » Designing executable abstractions |
199
Voted
ISTA
2001
15 years 8 months ago
2001
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
216
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
Workflow management systems exactly enact business processes described in a process description language. Unfortunately, such strict adherence to the prescribed workflow makes it ...
185
click to vote
AAAI
1996
15 years 8 months ago
1996
GSAT is a randomized greedy local repair procedure that was introduced for solving propositional satis ability and constraint satisfaction problems. We present an improvement to G...
150
Voted
IJCAI
1989
15 years 8 months ago
1989
We are interested here in the design of a very efficient Time-Map Manager, able to deal with a large knowledge-base of several thou sand time-tokens in demanding applications su...
213
click to vote
GRID
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, a task parallel application is implemented with Ninf-G which is a GridRPC system, and experimented on, using the Grid testbed in Asia Pacific, for three months. The...