11561 search results - page 2097 / 2313 » A Language for Biochemical Systems |
165
click to vote
ADC
2005
Springer
16 years 5 days ago
2005
Springer
With the advent of XML and its use as a database language, dependency and normal form theory has attracted novel research interest. Several approaches to build up a dependency and...
151
click to vote
AIED
2005
Springer
16 years 4 days ago
2005
Springer
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...
175
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
165
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
171
click to vote
CC
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...