279 search results - page 55 / 56 » An Object-Oriented Design Process for System-on-Chip Using U... |
87
Voted
POPL
2000
ACM
15 years 1 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
ENTCS
2006
14 years 9 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
The field of biomedicine has embraced the Semantic Web probably more than any other field. As a result, there is a large number of biomedical ontologies covering overlapping area...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...