2832 search results - page 382 / 567 » Flexible Modelling for Requirements Engineering |
122
click to vote
COMPSAC
2005
IEEE
16 years 2 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
156
click to vote
ADAEUROPE
2005
Springer
16 years 14 hour ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
194
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
170
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
211
click to vote
PPPJ
2004
ACM
15 years 12 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...