Sciweavers

775 search results - page 119 / 155
» Behavioral Domain Analysis - The Application-Based Domain Mo...
Sort
View
JOT
2008
142views more  JOT 2008»
15 years 11 days ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
105
Voted
SOSP
2005
ACM
15 years 9 months ago
BAR fault tolerance for cooperative services
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement,...
SIGECOM
2003
ACM
128views ECommerce» more  SIGECOM 2003»
15 years 5 months ago
A reputation-based trust model for peer-to-peer ecommerce communities
Peer-to-Peer eCommerce communities are commonly perceived as an environment offering both opportunities and threats. One way to minimize threats in such an open community is to us...
Li Xiong, Ling Liu
TCAD
2002
146views more  TCAD 2002»
15 years 1 days ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
PAMI
2007
353views more  PAMI 2007»
14 years 12 months ago
Dynamic Texture Recognition Using Local Binary Patterns with an Application to Facial Expressions
— Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures have attracted growing attention. In this paper, a novel appr...
Guoying Zhao, Matti Pietikäinen