Sciweavers

271 search results - page 30 / 55
» Breaking into industry: tool support for multiagent systems
Sort
View
FASE
2004
Springer
14 years 1 months ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...
EPEW
2008
Springer
13 years 9 months ago
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...
Anne Martens, Steffen Becker, Heiko Koziolek, Ralf...
HICSS
2010
IEEE
203views Biometrics» more  HICSS 2010»
14 years 2 months ago
Secure Planning of Order Picking Systems with the Aid of Simulation
Planning a new logistics center is a quite difficult job. Depending on the requirements there are a great number of possible design versions. The planner has to consider not only ...
Alexander Ulbrich, Stefan Galka, Willibald A. G&uu...
APWEB
2006
Springer
13 years 11 months ago
WISE: A Prototype for Ontology Driven Development of Web Information Systems
Abstract. The development of Web Information Systems(WIS) is a hot research topic both in industry and academia. This paper presents a platform for ontology driven WIS development:...
Lv-an Tang, Hongyan Li, Baojun Qiu, Meimei Li, Jia...
FOIS
2001
13 years 9 months ago
Type-syntax and token-syntax in diagrammatic systems
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
John Howse, Fernando Molina, John Taylor, Sun-Joo ...