Sciweavers

1669 search results - page 59 / 334
» Modeling ODP Computational Specifications Using UML
Sort
View
ACSC
2006
IEEE
14 years 3 months ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
FMCAD
2006
Springer
14 years 1 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar
GI
2004
Springer
14 years 3 months ago
Dynamical Vertical Integration of Distributed Java Components Using an Architecture Model
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
Alexander Prack, Ulf Schreier
CSDA
2008
110views more  CSDA 2008»
13 years 9 months ago
Computing and using residuals in time series models
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
José Alberto Mauricio
ICMCS
2007
IEEE
169views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Identifying Computer Graphics using HSV Color Model and Statistical Moments of Characteristic Functions
Computer graphics generated by advanced rendering software come to appear so photorealistic that it has become difficult for people to visually differentiate them from photographi...
Wen Chen, Yun Q. Shi, Guorong Xuan