3142 search results - page 318 / 629 » Applied ontology issues |
160
click to vote
SYNASC
2006
IEEE
16 years 24 days ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
139
click to vote
ASPDAC
2006
ACM
16 years 23 days ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
129
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
139
click to vote
AINA
2005
IEEE
16 years 13 days ago
2005
IEEE
: The deployment of senor networks have attracted a lot of attention recently. In essence this issue is concerned with how well a sensing field is monitored by sensors to achieve ...
163
click to vote
CEC
2005
IEEE
16 years 13 days ago
2005
IEEE
A grouping genetic algorithm (GGA) for the university course timetabling problem is outlined. We propose six different fitness functions, all sharing the same common goal, and look...