Sciweavers

2339 search results - page 153 / 468
» Models and Tools for Mulan Applications
Sort
View
ICEB
2004
167views Business» more  ICEB 2004»
15 years 8 months ago
Investigating the Use of the Business Model Concept through Interviews
The term business model is widely used and is increasingly gaining importance as a business concept and management tool, particularly in e-business. Several authors propose the ap...
Alexander Osterwalder, Yves Pigneur
IV
2008
IEEE
126views Visualization» more  IV 2008»
16 years 1 months ago
Stencil: A Conceptual Model for Representation and Interaction
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
Joseph A. Cottam, Andrew Lumsdaine
FMICS
2008
Springer
15 years 8 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur
AINA
2003
IEEE
16 years 1 days ago
JWeb II Navigation Engine: An HDM Multi Device Interpreter
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...
Nicola Fiore, Leonardo Mangia, Roberto Paiano
IRI
2009
IEEE
16 years 1 months ago
An Agent-based Formal Framework for Modeling and Simulating Supply Chains
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin