Sciweavers

660 search results - page 10 / 132
» Formalizing the Development of Agent-Based Systems Using Gra...
Sort
View
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 4 months ago
Bridge Methods: Using a Balanced Project Practice Portfolio to Integrate Agile and Formal Process Methodologies
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
Stephen J. Cohen, William H. Money
MODELS
2010
Springer
14 years 8 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis
SIMULATION
2008
139views more  SIMULATION 2008»
14 years 9 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
FLAIRS
2006
14 years 11 months ago
Contextual Graphs for a Real-World Decision Support System
Decision support systems that capture, preserve, and reuse implicit knowledge can greatly benefit from explicitly using context. The development of this type of system can benefit...
Johann V. Nguyen, Brian C. Becker, Avelino J. Gonz...
JWSR
2007
114views more  JWSR 2007»
14 years 9 months ago
Development of Distance Measures for Process Mining, Discovery and Integration
: Business processes continue to play an important role in today’s service-oriented enterprise computing systems. Mining, discovering, and integrating process-oriented services h...
Joonsoo Bae, Ling Liu, James Caverlee, Liang-Jie Z...