3011 search results - page 26 / 603 » Generating XML Based Specifications of Information Systems |
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—In order to solve the challenges in processor design for the next generation wireless communication systems, this paper first proposes a system level design flow for communicati...
JSS
2006
13 years 8 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
ICOIN
2003
Springer
14 years 1 months ago
2003
Springer
XML is being used to describe components and applications in a vendor and language neutral. Therefore it already has a role in distributed system. XML is also being used as a data ...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
UML
2005
Springer
14 years 2 months ago
2005
Springer
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...