4211 search results - page 265 / 843 » A formal approach to MASQ |
173
click to vote
SIGCSE
2006
ACM
16 years 20 days ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
165
click to vote
HICSS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
186
click to vote
ICCD
2005
IEEE
16 years 9 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
154
Voted
SEKE
2005
Springer
16 years 5 days ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
186
click to vote
SPIRE
2005
Springer
16 years 5 days ago
2005
Springer
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...