Sciweavers

1260 search results - page 34 / 252
» From Domain Models to Architecture Frameworks
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 5 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
HICSS
2000
IEEE
128views Biometrics» more  HICSS 2000»
15 years 4 months ago
From Content-Centered Publishing to a Link-based View of Information Resources
Influenced by the linking model which is implicit in HTML, today’s publishing model on the Web is contentcentered, with the emphasis of publishing on content rather than links....
Erik Wilde, David Lowe
NIPS
1998
15 years 1 months ago
Learning from Dyadic Data
Dyadic data refers to a domain with two nite sets of objects in which observations are made for dyads, i.e., pairs with one element from either set. This type of data arises natur...
Thomas Hofmann, Jan Puzicha, Michael I. Jordan
MMS
2008
14 years 11 months ago
A framework for efficient and rapid development of cross-platform audio applications
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
Xavier Amatriain, Pau Arumi, David Garcia
ICSE
2004
IEEE-ACM
15 years 12 months ago
AcmeStudio: Supporting Style-Centered Architecture Development
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
Bradley R. Schmerl, David Garlan