2205 search results - page 215 / 441 » Mutation Operators for Specifications |
112
Voted
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
123
Voted
CSCWD
2009
Springer
15 years 9 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
122
Voted
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
131
Voted
CISIM
2008
IEEE
15 years 9 months ago
2008
IEEE
Job Scheduling on Computational Grids is gaining importance due to the need for efficient large-scale Grid-enabled applications. Among different optimization techniques addressed ...
109
Voted
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...