2253 search results - page 176 / 451 » Computing with Realizational Morphology |
142
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
An extensive literature research in the fields of IT and business science reveals that service-related terms as service and e-service have multiple interpretations within busines...
159
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
The parallel realization of adaptive finite element methods (FEM) has to deal with several irregular and dynamic algorithmic properties caused by adaptive mesh refinement (AMR). ...
161
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
172
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
188
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...