Sciweavers

2878 search results - page 509 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
SIMULATION
2002
142views more  SIMULATION 2002»
15 years 1 months ago
Agent-based Planning and Simulation of Combined Rail/Road Transport
A simulation model of the flow of Intermodal Terminal Units (ITUs) among inland intermodal terminals is presented. The intermodal terminals are inter-connected by rail corridors. ...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Pet...
TOSEM
2002
153views more  TOSEM 2002»
15 years 1 months ago
Automated abstraction of class diagrams
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
Alexander Egyed
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 5 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
OTM
2007
Springer
15 years 7 months ago
Bayesian Analysis of Secure P2P Sharing Protocols
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
Esther Palomar, Almudena Alcaide, Juan M. Est&eacu...
WECWIS
2005
IEEE
140views ECommerce» more  WECWIS 2005»
15 years 7 months ago
Developing Flexible Service Portals
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
Beat Liver, Jeannette Braun, Beatrix Rentsch, Pete...