Sciweavers

695 search results - page 93 / 139
» Linking Business Modelling to Socio-technical System Design
Sort
View
HICSS
2010
IEEE
181views Biometrics» more  HICSS 2010»
15 years 4 months ago
Standards Initiatives for Software Product Line Engineering and Management within the International Organization for Standardiza
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
Timo Käkölä
SIGSOFT
2007
ACM
16 years 6 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
LOGCOM
1998
132views more  LOGCOM 1998»
15 years 5 months ago
Agents That Reason and Negotiate by Arguing
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
Simon Parsons, Carles Sierra, Nicholas R. Jennings
ICFEM
2004
Springer
15 years 10 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ICFP
2006
ACM
16 years 5 months ago
From structures and functors to modules and units
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
Scott Owens, Matthew Flatt