Sciweavers

3902 search results - page 551 / 781
» Hardware Synthesis from C C Models
Sort
View
CCS
2004
ACM
16 years 22 hour ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
189
Voted
ICVS
2001
Springer
15 years 11 months ago
A Framework for Generic State Estimation in Computer Vision Applications
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
Cristian Sminchisescu, Alexandru Telea
SIGECOM
1999
ACM
202views ECommerce» more  SIGECOM 1999»
15 years 11 months ago
A methodology for workload characterization of E-commerce sites
Performance analysis and capacity planning for e-commerce sites poses an interesting problem: how to best characterize the workload of these sites. Tradition al workload character...
Daniel A. Menascé, Virgilio Almeida, Rodrig...
AC
1999
Springer
15 years 11 months ago
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
Mark C. Little, Santosh K. Shrivastava
IFIP8
2007
15 years 8 months ago
Social Networking as a New Trend in E-Marketing
In the world of e-marketing, new business models are frequently introduced, and new trends have started to emerge. One such latest trend is social networking websites, many of whic...
T. Andrew Yang, Dan J. Kim, Vishal Dhalwani