Sciweavers

172 search results - page 9 / 35
» Design formalism for collaborative assembly design
Sort
View
MEMOCODE
2003
IEEE
14 years 1 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
RAID
2009
Springer
14 years 2 months ago
Using Formal Grammar and Genetic Operators to Evolve Malware
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
Sadia Noreen, Shafaq Murtaza, M. Zubair Shafiq, Mu...
26
Voted
ECTEL
2007
Springer
14 years 1 months ago
Integration in Generic Tool Learning Design to Support Complex Learning Methodologies
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
Luis de la Fuente Valentín
JUCS
2008
108views more  JUCS 2008»
13 years 7 months ago
Supporting Informal Collaboration in Shared-Workspace Groupware
Shared-workspace groupware has not become common in the workplace, despite many positive results from the research lab. One reason for this lack of success is that most shared work...
Carl Gutwin, Saul Greenberg, Roger Blum, Jeff Dyck...
DMDW
2003
269views Management» more  DMDW 2003»
13 years 9 months ago
CASME: A CASE Tool for Spatial Data Marts Design and Generation
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
Hajer Baazaoui Zghal, Sami Faïz, Henda Hajjam...