Sciweavers

11561 search results - page 2109 / 2313
» A Language for Biochemical Systems
Sort
View
SIGADA
2004
Springer
15 years 12 months ago
Comparative analysis of genetic algorithm implementations
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
Robert Soricone, Melvin Neville
UML
2004
Springer
15 years 12 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin
VMCAI
2004
Springer
15 years 12 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
COOPIS
2003
IEEE
15 years 12 months ago
Extending OO Metamodels towards Dynamic Object Roles
This paper discusses some of the implications of introducing the dynamic object role concept into object-oriented metamodels on both implementational and conceptual modeling levels...
Andrzej Jodlowski, Piotr Habela, Jacek Plodzien, K...
HICSS
2003
IEEE
122views Biometrics» more  HICSS 2003»
15 years 12 months ago
A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till
« Prev « First page 2109 / 2313 Last » Next »