29147 search results - page 5390 / 5830 » System Modeling Resurrected |
184
click to vote
FC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...
176
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
173
click to vote
FSTTCS
2005
Springer
16 years 12 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
160
click to vote
GCB
2005
Springer
16 years 12 days ago
2005
Springer
Motivation: With the increasing availability of protein structures, the generation of biologically meaningful 3D patterns from the simultaneous alignment of several protein struct...
153
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...