Sciweavers

795 search results - page 29 / 159
» A Formal Approach to Heterogeneous Software Modeling
Sort
View
SIGIR
2006
ACM
15 years 6 months ago
Formal models for expert finding in enterprise corpora
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
Krisztian Balog, Leif Azzopardi, Maarten de Rijke
133
Voted
SAC
2008
ACM
14 years 12 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
109
Voted
VIROLOGY
2008
84views more  VIROLOGY 2008»
15 years 9 days ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm
81
Voted
CGI
2004
IEEE
15 years 4 months ago
Mixing Deformable and Rigid-Body Mechanics Simulation
This article presents a new method to achieve heterogeneous physical simulation, within the same global system, of both deformable and rigid-bodies objects, whatever their intrins...
Julien Lenoir, Sylvère Fonteneau
92
Voted
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 4 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff