Sciweavers

10454 search results - page 384 / 2091
» Modeling the Experience of Emotion
Sort
View
174
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
DEXAW
1999
IEEE
124views Database» more  DEXAW 1999»
15 years 11 months ago
A Web-Based Evolutionary Model for Internet Data Caching
Caching is a standard solution to the problem of insufcient bandwidth caused by the rapid increase of information circulation across the Internet. Cache consistency mechanisms are...
Athena Vakali
176
Voted
HICSS
1999
IEEE
97views Biometrics» more  HICSS 1999»
15 years 11 months ago
The Ragnarok Architectural Software Configuration Management Model
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
Henrik Bærbak Christensen
CONTEXT
1999
Springer
15 years 11 months ago
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...
Boicho N. Kokinov
180
Voted
PRDC
1999
IEEE
15 years 11 months ago
An Architecture-Based Software Reliability Model
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen