Sciweavers

3902 search results - page 388 / 781
» Hardware Synthesis from C C Models
Sort
View
DAIS
2006
15 years 8 months ago
Model-Driven Development of Context-Aware Services
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...
João Paulo A. Almeida, Maria-Eugenia Iacob,...
NSDI
2004
15 years 8 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
VMV
2004
292views Visualization» more  VMV 2004»
15 years 8 months ago
Automatic Generation of Shape Models Using Nonrigid Registration with a Single Segmented Template Mesh
Statistical shape modeling using point distribution models (PDMs) has been studied extensively for segmentation and other image analysis tasks. Methods investigated in the literat...
Geremy Heitz, Torsten Rohlfing, Calvin R. Maurer J...
AAMAS
2010
Springer
15 years 7 months ago
Modeling appraisal in theory of mind reasoning
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
Mei Si, Stacy C. Marsella, David V. Pynadath
INFSOF
2007
104views more  INFSOF 2007»
15 years 6 months ago
A state-based approach to integration testing based on UML models
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...