Sciweavers

2878 search results - page 398 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
WSCG
2004
145views more  WSCG 2004»
15 years 8 months ago
Introducing Sweep Features in Modeling with Subdivision Surfaces
In recent times, subdivision surfaces have been considered a powerful representation for shape design. They have been successfully introduced in character animation software packa...
Chiara Eva Catalano, Franca Giannini, Bianca Falci...
308
Voted
OOPSLA
2004
Springer
15 years 12 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed
ICIAP
2005
ACM
16 years 6 months ago
3D Functional Models of Monkey Brain Through Elastic Registration of Histological Sections
In this paper we describe a method for the reconstruction and visualization of functional models of monkey brains. Models are built through the registration of high resolution imag...
Fabio Bettio, Francesca Frexia, Andrea Giachetti, ...
TACAS
1998
Springer
98views Algorithms» more  TACAS 1998»
15 years 10 months ago
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
Miroslav N. Velev, Randal E. Bryant