Sciweavers

3514 search results - page 482 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
125
Voted
SEFM
2009
IEEE
15 years 9 months ago
Programming Sagas in SOCK
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
Ivan Lanese, Gianluigi Zavattaro
151
Voted
CACM
1999
132views more  CACM 1999»
15 years 2 months ago
Agents That Buy and Sell
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
Pattie Maes, Robert H. Guttman, Alexandros Moukas
89
Voted
HICSS
2002
IEEE
77views Biometrics» more  HICSS 2002»
15 years 7 months ago
Language Driven System Design
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
129
Voted
WOTUG
2008
15 years 4 months ago
Representation and Implementation of CSP and VCR Traces
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
Neil C. C. Brown, Marc L. Smith
161
Voted
AMKM
2003
Springer
15 years 8 months ago
Agentized, Contextualized Filters for Information Management
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
David A. Evans, Gregory Grefenstette, Yan Qu, Jame...