1438 search results - page 261 / 288 » An Expressive Extension of TLC |
229
click to vote
GPCE
2007
Springer
16 years 24 days ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
157
click to vote
IMA
2007
Springer
16 years 24 days ago
2007
Springer
Non-linear cryptanalysis is a natural extension to Matsui’s linear cryptanalitic techniques in which linear approximations are replaced by nonlinear expressions. Non-linear appro...
187
click to vote
ROBOCUP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
163
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
185
click to vote
ICDM
2006
IEEE
16 years 21 days ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...