Sciweavers

3273 search results - page 550 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
SIGSOFT
2009
ACM
16 years 4 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
WWW
2008
ACM
16 years 4 months ago
Pivotbrowser: a tag-space image searching prototype
We propose a novel iterative searching and refining prototype for tagged images. This prototype, named PivotBrowser, captures semantically similar tag sets in a structure called p...
Xiaoyan Li, Lidan Shou, Gang Chen, Xiaolong Zhang,...
WWW
2007
ACM
16 years 4 months ago
Construction by linking: the linkbase method
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...
Johannes Meinecke, Frederic Majer, Martin Gaedke
132
Voted
WWW
2004
ACM
16 years 4 months ago
Flexibility of Automatic Authoring for the Semantic Web
The LAOS model, a 5-layer adaptive hypermedia (AH) authoring model, was previously shown to specify a flexible framework for (collaborative) creation of material for the semantic ...
Alexandra I. Cristea
115
Voted
CHI
2009
ACM
16 years 4 months ago
Interactive slide: an interactive playground to promote physical activity and socialization of children
We present a novel playground platform that will hopefully help in countering two important issues in children in the developed world: lack of physical activity and lack of social...
Joan Soler-Adillon, Narcís Parés