3468 search results - page 377 / 694 » An open logical framework |
135
click to vote
LOGCOM
2006
15 years 4 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
131
Voted
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
This paper describes gate work function and oxide thickness tuning to realize novel circuits using dual-Vth independent-gate FinFETs. Dual-Vth FinFETs with independent gates enabl...
230
Voted
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
156
Voted
SC
2009
ACM
15 years 9 months ago
2009
ACM
The Social Informatics Data Grid (SIDGrid) is a new cyberinfrastructure designed to transform how social and behavioral scientists collect and annotate data, collaborate and share...
129
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...