1252 search results - page 73 / 251 » Complex Systems and Agent-Oriented Software Engineering |
ASWC
2009
Springer
13 years 7 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
APAQS
2000
IEEE
14 years 2 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
VAMOS
2008
Springer
13 years 11 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...