Sciweavers

3819 search results - page 295 / 764
» An Outsourcing Model of Software Development
Sort
View
FPL
2007
Springer
101views Hardware» more  FPL 2007»
16 years 24 days ago
Formal Modeling of Process Migration
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...
QEST
2006
IEEE
16 years 19 days ago
Modeling and Optimization Problems in Contact Centers
We give a quick overview of some key issues in (quantitative) call center management: building realistic models, developing efficient tools to simulate these models, finding qui...
Pierre L'Ecuyer
WSKS
2009
Springer
15 years 11 months ago
An Eclipse GMF Tool for Modelling User Interaction
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
Jesús Manuel Almendros-Jiménez, Luis...
ICWE
2009
Springer
16 years 1 months ago
MagicUWE - A CASE Tool Plugin for Modeling Web Applications
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
Marianne Busch, Nora Koch
APSEC
2005
IEEE
16 years 7 days ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...