641 search results - page 35 / 129 » A Framework for Component-Oriented Tool Integration |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
The content of image archives changes rapidly. This makes the traditional separation of ontology development and image annotation steps no longer feasible. In this paper, we presen...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...