161 search results - page 17 / 33 » Performance Model Interchange Format: Semantic Validation |
IFIP12
2004
13 years 9 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
BMAS
2000
IEEE
14 years 4 days ago
2000
IEEE
Verilog-AMS is one of the major mixed-signal hardware description languages on today’s market. In addition to the extended capabilities to model analog and digital behavior, the...
ESOP
1999
Springer
14 years 1 hour ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
SERP
2003
13 years 9 months ago
2003
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...