310 search results - page 33 / 62 » A language and framework for invariant-driven transformation... |
ANSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
DASFAA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. With the ever increasing connection between XML information systems over the Web, users are able to obtain integrated sources of XML information in a cooperative manner, ...
FM
2003
Springer
14 years 1 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
UML
1998
Springer
14 years 1 days ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
IIWAS
2008
13 years 9 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...