Sciweavers

906 search results - page 68 / 182
» Modeling methodology for application development in petroleu...
Sort
View
ECIS
2004
15 years 7 months ago
Value-based business modelling for network organizations: lessons learned from the electricity sector
Speed and availability of information, delivered in past years by Internet technologies, made it easier for any company to outsource primary activities, which resulted in unbundli...
Vera Kartseva, Jaap Gordijn, Yao-Hua Tan
FMOODS
2006
15 years 7 months ago
Transformation Laws for UML-RT
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
15 years 7 months ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...
IJCSA
2006
111views more  IJCSA 2006»
15 years 6 months ago
Using DocBook and XML Technologies to Create Adaptive Learning Content in Technical Domains
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
Iván Martínez-Ortiz, Pablo Moreno-Ge...
DIGRA
2005
Springer
15 years 11 months ago
A Realistic Reaction System for Modern Video Games
The substantial growth of the video game industry has fueled a search for new technologies and methodologies for providing rich and rewarding experiences for players of modern vid...
Michael Katchabaw, Stephen Danton, Leif Gruenwoldt