Sciweavers

15777 search results - page 2539 / 3156
» Software Engineering
Sort
View
MATES
2009
Springer
16 years 1 months ago
Towards Pattern-Oriented Design of Agent-Based Simulation Models
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
Franziska Klügl, Lars Karlsson
OOPSLA
2009
Springer
16 years 1 months ago
TROPIC: a framework for model transformations on petri nets in color
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
16 years 1 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
16 years 1 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
VRST
2009
ACM
16 years 1 months ago
HardBorders: a new haptic approach for selection tasks in 3D menus
In this paper, we introduce a 3D menu with a new technique of haptic guidance, for virtual environments. The 3D menu consists in a thin polyhedral shape, with the items at the cor...
Caroline Essert-Villard, Antonio Capobianco
« Prev « First page 2539 / 3156 Last » Next »