Sciweavers

520 search results - page 77 / 104
» Contributing to eclipse: A case study
Sort
View
EMSOFT
2006
Springer
15 years 1 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
LREC
2010
199views Education» more  LREC 2010»
15 years 1 months ago
Anaphoric Annotation of Wikipedia and Blogs in the Live Memories Corpus
The Live Memories corpus is an Italian corpus annotated for anaphoric relations. This annotation effort aims to contribute to two significant issues for the CL research: the lack ...
Kepa Joseba Rodríguez, Francesca Delogu, Ya...
DSML
2008
107views Formal Methods» more  DSML 2008»
15 years 1 months ago
How Web 2.0 can Leverage Model Engineering in Practice
: Today's online model repositories offer to download and view the textual specifications of e.g. metamodels and models in the browser. For users, in order to efficiently sear...
Manuel Wimmer, Andrea Schauerhuber, Michael Stromm...
SDM
2007
SIAM
147views Data Mining» more  SDM 2007»
15 years 1 months ago
Constraint-Based Pattern Set Mining
Local pattern mining algorithms generate sets of patterns, which are typically not directly useful and have to be further processed before actual application or interpretation. Ra...
Luc De Raedt, Albrecht Zimmermann
WICSA
2008
15 years 1 months ago
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
João Pedro Sousa, Bradley R. Schmerl, Vahe ...