Sciweavers

2616 search results - page 438 / 524
» Energy scalable system design
Sort
View
AI
2000
Springer
15 years 5 months ago
On agent-based software engineering
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
Nicholas R. Jennings
ASE
1998
152views more  ASE 1998»
15 years 5 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
SAC
2002
ACM
15 years 5 months ago
HTTP redirection for replica catalogue lookups in data grids
1 Data distribution and replication in distributed systems require special purpose middleware tools for accessing replicated data. Data Grids, special forms of a systems distribute...
Heinz Stockinger, Andrew Hanushevsky
ICFEM
2010
Springer
15 years 4 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
TOG
2010
75views more  TOG 2010»
15 years 4 months ago
Example-based facial rigging
We introduce a method for generating facial blendshape rigs from a set of example poses of a CG character. Our system transfers controller semantics and expression dynamics from a...
Hao Li, Thibaut Weise, Mark Pauly