12774 search results - page 235 / 2555 » A Framework for Proof Systems |
223
click to vote
DAIS
2008
15 years 8 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
196
Voted
FUIN
2007
15 years 6 months ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
154
click to vote
ACL
2012
13 years 9 months ago
2012
We demonstrate a web-based environment for development and testing of different pedestrian route instruction-giving systems. The environment contains a City Model, a TTS interface...
153
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...
150
click to vote
CSMR
2009
IEEE
16 years 1 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...