924 search results - page 94 / 185 » An expressive aspect language for system applications with A... |
181
click to vote
ADVSE
2010
15 years 1 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
158
click to vote
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
155
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
141
click to vote
ENTCS
2006
15 years 6 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
161
click to vote
NSDI
2007
15 years 8 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...