6978 search results - page 1241 / 1396 » On Proofs in System P |
ISI
2007
Springer
14 years 3 months ago
2007
Springer
—Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...
MTSR
2007
Springer
14 years 3 months ago
2007
Springer
This paper describes the Markup Analysis Project, a research initiative of the Information Policy and Practice Research Group at the University of Sydney to investigate frameworks ...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
While commercial solutions for precise indoor positioning exist, they are costly and require installation of additional infrastructure, which limits opportunities for widespread ad...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...