4353 search results - page 822 / 871 » Expressiveness of Process Algebras |
109
click to vote
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...
CIKM
2007
Springer
15 years 4 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
101
click to vote
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
ct In recent years, the use of streamed digital video as a teaching and learning resource has become an increasingly attractive option for many educators as an innovation which exp...
GEOS
2007
Springer
15 years 4 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...