Sciweavers

4476 search results - page 316 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
IFIP
2001
Springer
15 years 11 months ago
Better Safe than Sorry? In Search of an Internet Business Model in Online Entertainment
This paper presents an action case study of the process by which the Swedish computer game developer Daydream Software planned, developed, and implemented the business model for i...
Ola Henfridsson, Helena Holmström, Ole Hanset...
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
174
Voted
APSEC
2005
IEEE
16 years 12 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...
IRMA
2000
15 years 8 months ago
EMC - A modeling method for developing web-based applications
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
Peter Rittgen
CORR
2000
Springer
104views Education» more  CORR 2000»
15 years 6 months ago
ATLAS: A flexible and extensible architecture for linguistic annotation
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
Steven Bird, David Day, John S. Garofolo, John Hen...