Sciweavers

1323 search results - page 117 / 265
» Extended Modeling Languages for Interaction Protocol Design
Sort
View
127
Voted
VISUAL
1999
Springer
15 years 8 months ago
General Image Database Model
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
Peter L. Stanchev
129
Voted
P2P
2009
IEEE
155views Communications» more  P2P 2009»
15 years 10 months ago
ModelNet: Towards a DataCenter Emulation Environment
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
Kashi Venkatesh Vishwanath, Amin Vahdat, Ken Yocum...
AAECC
2010
Springer
114views Algorithms» more  AAECC 2010»
15 years 3 months ago
Termination of narrowing via termination of rewriting
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
Naoki Nishida, Germán Vidal
SIGMOD
2007
ACM
111views Database» more  SIGMOD 2007»
16 years 3 months ago
User-centric personalized extensibility for data-driven web applications
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...
Nitin Gupta 0003, Fan Yang 0002, Alan J. Demers, J...
173
Voted
ACMMSP
2006
ACM
250views Hardware» more  ACMMSP 2006»
15 years 9 months ago
What do high-level memory models mean for transactions?
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
Dan Grossman, Jeremy Manson, William Pugh