2487 search results - page 377 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
ICSE
2004
IEEE-ACM
14 years 8 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...
RISE
2004
Springer
14 years 1 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...
IOLTS
2006
IEEE
14 years 2 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
13 years 12 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 ...
ETS
2002
IEEE
13 years 8 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...