393 search results - page 37 / 79 » Defining Models - Meta Models versus Graph Grammars |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
ICAT
2003
IEEE
15 years 2 months ago
2003
IEEE
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
SIPS
2008
IEEE
15 years 4 months ago
2008
IEEE
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...
SODA
2008
ACM
14 years 11 months ago
2008
ACM
The Border Gateway Protocol (BGP) is the interdomain routing protocol used to exchange routing information between Autonomous Systems (ASes) in the internet today. While intradoma...
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...