2487 search results - page 377 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
123
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
124
Voted
RISE
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
113
click to vote
IOLTS
2006
IEEE
15 years 8 months ago
2006
IEEE
FPGA emulation has proven to be a performance effective method to analyse the behaviour of digital circuits in the presence of soft errors due to SEU effects. In particular, the r...
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
102
click to vote
ETS
2002
IEEE
15 years 2 months ago
2002
IEEE
IT-giftedness represents abilities related with widely differing uses of information technologies (IT). Children and adolescents often exhibit surprising abilities in the use of c...