3733 search results - page 264 / 747 » Logics of communication and change |
141
click to vote
DC
2001
15 years 8 months ago
2001
In 1998, the Functional Requirements for Bibliographic Records FRBR model which is composed by four entities work, expression, manifestation and item and their associative relatio...
218
click to vote
IWUC
2004
15 years 8 months ago
2004
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
135
click to vote
WSC
1998
15 years 8 months ago
1998
Simulation with Arena is used to analyze a controlled conveyor network with merging configuration (CNMC). We use simulation to realize the logic in a queueingtheoretic model (QTM)...
176
click to vote
DLT
2008
15 years 7 months ago
2008
We examine the succinctness of one-way, rotating, sweeping, and two-way deterministic finite automata (1dfas, rdfas, sdfas, 2dfas). Here, a sdfa is a 2dfa whose head can change di...
156
click to vote
JAR
2007
15 years 6 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...