Sciweavers

3885 search results - page 703 / 777
» Clarifying Goal Models
Sort
View
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 10 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
ACMICEC
2007
ACM
154views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
Learning and adaptivity in interactive recommender systems
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...
Tariq Mahmood, Francesco Ricci
EENERGY
2010
15 years 10 months ago
Towards energy-aware scheduling in data centers using machine learning
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
Josep Lluis Berral, Iñigo Goiri, Ramon Nou,...
CIKM
2006
Springer
15 years 10 months ago
On the structural properties of massive telecom call graphs: findings and implications
With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customers. Toward ...
Amit Anil Nanavati, Siva Gurumurthy, Gautam Das, D...
SCA
2007
15 years 8 months ago
Deformation styles for spline-based skeletal animation
We present a novel skinned skeletal animation system based on spline-aligned deformations for providing high quality and fully designable deformations in real-time. Our ambition i...
Sven Forstmann, Jun Ohya, Artus Krohn-Grimberghe, ...