Sciweavers

1204 search results - page 17 / 241
» Parallel concurrent ML
Sort
View
152
Voted
EDOC
2006
IEEE
16 years 13 days ago
VIDRE - A Distributed Service-Oriented Business Rule Engine based on RuleML
Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...
Christoph Nagl, Florian Rosenberg, Schahram Dustda...
126
Voted
IPPS
1992
IEEE
15 years 10 months ago
Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems
Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...
136
Voted
IPPS
2000
IEEE
15 years 10 months ago
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
Dominique Cansell, Dominique Méry, Christop...
133
Voted
PODC
1998
ACM
15 years 10 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson